search

triska / clpz

Constraint Logic Programming over Integers
https://www.metalevel.at/prolog/clpz
184 stars 15 forks source link

clpz: lots of unexpected constraints #23

Closed UWN closed 1 year ago

UWN commented 1 year ago 
?- B = 0, B in -2..0, 0#<==>0#=0/(B*B),labeling([],[B]).
   B = 0.
?- B in -2..0, 0#<==>0#=0/(B*B),labeling([],[B]).
   B = 0, clpz:(_A in 0..1), clpz:(2#=0#<==>_A), clpz:(0/_A#=_B), clpz:(_C#/\0#=_B#<==>0), unexpected.
UWN commented 1 year ago

See https://github.com/mthom/scryer-prolog/issues/2096