[eclipse-clp-users] Problem with double delayed negation

From: Stephan Schiffel <stephan.schiffel_at_googlemail.com>
Date: Thu, 8 Dec 2011 14:03:05 +0000
Dear all,

I stumbled across a problem using delayed negation (~/1, ~=/2).
The following small program demonstrates my problem:

%%
p(_X) :- A~=1, A=1.
p1 :- ~ p(1).
p2 :- ~ p(X), X=1.
%%

?- p1. succeeds as it should, but
?- p2. fails despite being equivalent to p1

Is this a bug? If not, is there any way to make p2 work as expected?

Btw, the bugs database (http://www.eclipseclp.org/bugzilla) is down.

Best regards,
Stephan
Received on Thu Dec 08 2011 - 14:03:17 CET

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET