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

Merge pull request #1230 from josd/patch-1

Browse Source 
Update clpz.pl
This commit is contained in:
Mark Thom
2022-01-17 17:03:03 -07:00
committed by GitHub
parent 08363b1d73 1a4f8f992b
commit 9ded1447ec
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:
==