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

?- Z = 8, X = 9, #Z #= #X mod #Y.
   Z = 8, X = 9, clpz:(Y in 9..sup), clpz:(9 mod#Y#=8). % unexpected
Expected: false
src/lib/clpz.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust