]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 37ac5bb) | patch
Strengthened `(mod)/2` in CLP(Z)
authornotoria <[email protected]>
Sun, 25 May 2025 11:38:56 +0000 (13:38 +0200)
committernotoria <[email protected]>
Sun, 25 May 2025 11:38:56 +0000 (13:38 +0200)
commit4a6f86591cc8c5108910e4117b47395b2a817799
treeeefb233f52f9a58e1806762c05941aae579e6afatree | snapshot
parent37ac5bb3c1bcb4e7d973c9074cebf3536c2bb6decommit | diff
Strengthened `(mod)/2` in CLP(Z)

?- 0 #= 2 mod #Y.
   clpz:(Y in inf.. -1\/1..sup), clpz:(2 mod#Y#=0). % unexpected
Expected: clpz:(Y in-2.. -1\/1..2), clpz:(2 mod Y#=0)
src/lib/clpz.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust