]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 73ca37e) | patch
Don't add variable
authornotoria <[email protected]>
Sat, 27 May 2023 11:19:19 +0000 (13:19 +0200)
committerMark <[email protected]>
Fri, 23 Jun 2023 20:11:31 +0000 (14:11 -0600)
commit770a682d8bb6b660f31f1b1c8b6426b609b13489
treec920c561e38106f4e9f1c6eb18df61a2d4bf712atree | snapshot
parent73ca37eccad4393d7f1b088295cfd693fe6adad1commit | diff
Don't add variable

?- Z #= 0, Z #= X mod Y.
   Z = 0, clpz:(_A*Y#=X), clpz:(Y in inf.. -1\/1..sup) % Unexpected.

The expected result:
   Z = 0, clpz:(X mod Y#=0), clpz:(Y in inf.. -1\/1..sup).
src/lib/clpz.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust