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

Merge pull request #312 from triska/master

Browse Source 
ADDED: CLP(ℤ), Constraint Logic Programming over Integers
This commit is contained in:
Mark Thom
2020-04-05 21:14:11 -03:00
committed by GitHub
parent 560298655b 8b1df2e9ca
commit 2e5ce0249e
2 changed files with 7627 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
README.md
View File

@@ -246,6 +246,11 @@ The modules that ship with Scryer Prolog are also called
* [`reif`](src/prolog/lib/reif.pl) * [`reif`](src/prolog/lib/reif.pl)
providing `if_/3`, `tfilter/3` and related predicates providing `if_/3`, `tfilter/3` and related predicates
as described in *Indexing dif/2*. as described in *Indexing dif/2*.
* [`clpz`](src/prolog/lib/clpz.pl)
CLP(ℤ): Constraint Logic Programming over Integers,
providing declarative integer arithmetic via `(#=)/2`, `(#\=)/2`,
`(#>=)/2` etc., and various global constraints and
enumeration predicates for solving combinatorial tasks.
* [`pairs`](src/prolog/lib/pairs.pl) * [`pairs`](src/prolog/lib/pairs.pl)
By convention, *pairs* are Prolog terms with By convention, *pairs* are Prolog terms with
principal functor `(-)/2`, written as `Key-Value`. principal functor `(-)/2`, written as `Key-Value`.

7622
src/prolog/lib/clpz.pl Normal file
View File

File diff suppressed because it is too large Load Diff