]> Repositorios git - scryer-prolog.git/commit
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
treef994dbb34a8757023bdd25a365b6a914e2327fa3
parent770ead9c05a5427503fffd4f7b2ce83b8d84eb30
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