]> Repositorios git - scryer-prolog.git/commitdiff
Update clpz.pl
authorJos De Roo <[email protected]>
Mon, 17 Jan 2022 21:35:31 +0000 (22:35 +0100)
committerGitHub <[email protected]>
Mon, 17 Jan 2022 21:35:31 +0000 (22:35 +0100)
While running with scryer-prolog the resource control file should be ~/.scryerrc

src/lib/clpz.pl

index f330b36f7d6347aba1e9ba761ec71a3fcf8befad..c2b297127f2abe14fcba5cdb7ed1171f6da097d8 100644 (file)
@@ -315,7 +315,7 @@ possible.
 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)).
@@ -405,7 +405,7 @@ The [_arithmetic constraints_](<#clpz-arith-constraints>) #=/2, #>/2
 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:
 
 ==