]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4a6f865) | patch
Strengthened `(mod)/2` in CLP(Z)
authornotoria <[email protected]>
Sun, 25 May 2025 11:39:31 +0000 (13:39 +0200)
committernotoria <[email protected]>
Sun, 25 May 2025 11:39:31 +0000 (13:39 +0200)
commit4b480a7eab68b4e1dc8d07c36ae7b1645ee073bb
tree77f665518a81e106ce39aef2cc53b11460cf77f5tree | snapshot
parent4a6f86591cc8c5108910e4117b47395b2a817799commit | diff
Strengthened `(mod)/2` in CLP(Z)

?- 8 #= -1 mod #Y.
   clpz:(Y in 9..sup), clpz:(-1 mod#Y#=8). % unexpected
Expected: Y = 9
?- 8 #= -12 mod #Y.
   clpz:(Y in 9..sup), clpz:(-12 mod#Y#=8). % unexpected
Expected `Y` with finite domain
src/lib/clpz.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust