]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dc02be4) | patch
Don't add variable
authornotoria <[email protected]>
Sat, 27 May 2023 11:19:19 +0000 (13:19 +0200)
committernotoria <[email protected]>
Sat, 27 May 2023 11:41:04 +0000 (13:41 +0200)
commit05d48cdcc397ac870e955146e02a5ef7645a05df
tree52ee3b116512bd44ac9de346a90058f376b4af01tree | snapshot
parentdc02be494484af62b2b36804630b416824695be4commit | 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