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

Merge pull request #1731 from triska/clpz_corrections

Browse Source 
correct DocLog ~/.scryerrc rendering
This commit is contained in:
Mark Thom
2023-02-02 06:26:08 +01:00
committed by GitHub
parent cc38cf15a4 da4c0a359b
commit e0dcf88b68
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/lib/clpz.pl
View File

@@ -416,7 +416,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 =|~/.scryerrc|= initialisation
you put the following directive in your `~/.scryerrc` initialisation
file to make CLP(ℤ) constraints available in all your programs:
```