search

SWI-Prolog / issues

Dummy repository for issue tracking
8 stars 3 forks source link

Satisfiable goal fails in CLP(Q) #93

Closed andreaf96 closed 4 years ago

andreaf96 commented 4 years ago

Hi, I've found an issue with clpq. The bug I am reporting is the direct cause of the bug reported here: https://github.com/SWI-Prolog/issues/issues/63

The following goal returns false even though it should have a solution.

{Z>=0, Z =< 2, X =< 1,X>=Z , Z >= 1}.

The only actual solution should be X=Z=1. Please note that the bug occurs even if we swap X>=Z with X=Z.

{Z>=0, Z =< 2, X =< 1,X=Z , Z >= 1}.

andreaf96 commented 4 years ago

I think I've solved it here https://github.com/andreaf96/packages-clpqr/commit/157cf2f980db204cccb3a2aece3e0553ff3b71c9 @JanWielemaker With this change every goal in this issue and in https://github.com/SWI-Prolog/issues/issues/63 work. I've made a pull request.

JanWielemaker commented 4 years ago

This issue has been mentioned on SWI-Prolog. There might be relevant details there:

https://swi-prolog.discourse.group/t/ann-swi-prolog-8-1-22/1867/1