]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 770ead9) | patch
Fix bound computation in `(^)/2`
authornotoria <[email protected]>
Sun, 7 Jan 2024 19:19:40 +0000 (20:19 +0100)
committernotoria <[email protected]>
Sun, 7 Jan 2024 19:19:40 +0000 (20:19 +0100)
commit1f3de74cbd7e744692700e9fbb75ae989dd4e1f8
treef994dbb34a8757023bdd25a365b6a914e2327fa3tree | snapshot
parent770ead9c05a5427503fffd4f7b2ce83b8d84eb30commit | diff
Fix bound computation in `(^)/2`

?- A in 0..1, B in-1..0, A^2 #= B.
   false. % unexpected.
?- A^2 #= B, A in 0..1, B in-1..0.
   A = 0, B = 0.
src/lib/clpz.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust