Markus Triska
Markus Triska
Wouldn't strings be a lot more appropriate for such ephemeral data, like `"Hello World!"`? There is little chance that other parts of the program need this string (in the sense...
I agree that it should succeed. Just to note, `test_a/1` is still available and works if we use explicit module qualification: ?- a:test_a(X). X = a. I think a new...
Very nice, thank you a lot! Let's continue with #366.
I now no longer get a domain error, so the specific instance of this issue seems resolved. However, a different issue remains: ?- run. 0. 1. neq-_23*_24-(_25+_26)-[_23=_24,_25=_26]-[_23,_24,_25,_26]-[_23,_24,_25,_26]-[]-[[1,1,1,1]]. #369 may be...
The choicepoint is also unexpected!
I highly recommend first getting `clpb` right, and only then start looking at the `clpz` issue!
I highly recommend you focus on `library(clpb)` first. For the present issue, we can see a problem already without `labeling/1`: ?- sat(X*Y + X*Z). clpb:sat(X=\=X*Z#Z), unexpected. For comparison, Scryer Prolog...
Systematically reducing it further, we have: ?- clpb:sat_rewrite(X*Y + X*Z, Sat). Sat = X+Z, unexpected. The expected answer is: ?- clpb:sat_rewrite(X*Y + X*Z, Sat). Sat = X*Y+X*Z.
Here is a small sample program that shows the problem: sat_rewrite(V, V) :- var(V), !. sat_rewrite(P0*Q0, P*Q) :- sat_rewrite(P0, P), sat_rewrite(Q0, Q). sat_rewrite(P0+Q0, P+Q) :- sat_rewrite(P0, P), sat_rewrite(Q0, Q). We...
The issue persists: ?- sat_rewrite(X*Y + X*Z, Sat). Sat = X+Z, unexpected.