search

didoudiaz / gprolog

GNU Prolog
Other
106 stars 13 forks source link

clpfd: unexpected failure #9

Open UWN opened 3 years ago

UWN commented 3 years ago 
| ?-      fd_domain([A],0,1),A#==>0#>0/0.

no            % unexpected
| ?- A=0, fd_domain([A],0,1),A#==>0#>0/0.

A = 0         % expected

Related to #86.

UWN commented 2 years ago

Just a general remark: I do not test GNU any further for its clpfd-extension as this issue here is not fixed.

didoudiaz commented 2 years ago

I understand but this case is rather difficult to fix in practice in the general case (this is a particular case only). Maybe raise an error when 0/0 appears (even in 0#==>0/0)...

UWN commented 2 years ago

An error for 0/0 does not make sense. Other systems just fixed this as SICStus withdrew 4.3.4, and SWI (at that time) alike.

UWN commented 2 years ago

UWN_blocking