Almost all Prolog programs also reason about integers. Therefore, it
is highly advisable that you make CLP(ℤ) constraints available in all
your programs. One way to do this is to put the following directive in
-your =|~/.swiplrc|= initialisation file:
+your =|~/.scryerrc|= initialisation file:
==
:- use_module(library(clpz)).
etc. are meant to be used _instead_ of the primitives `(is)/2`,
`(=:=)/2`, `(>)/2` etc. over integers. Almost all Prolog programs also
reason about integers. Therefore, it is recommended that you put the
-following directive in your =|~/.swiplrc|= initialisation file to make
+following directive in your =|~/.scryerrc|= initialisation file to make
CLP(ℤ) constraints available in all your programs:
==