rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update clpz.pl

Browse Source 
While running with scryer-prolog the resource control file should be ~/.scryerrc
This commit is contained in:
Jos De Roo
2022-01-17 22:35:31 +01:00
committed by GitHub
parent 08363b1d73
commit 1a4f8f992b
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/lib/clpz.pl
View 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:
==