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

Hi Stephan,

Didn't you mean 

p2 :- not  p(X), X=1.

instead of 
p2 :- ~ p(X), X=1.

this version works doing the job.
Recall : 
		not P :- P, !, fail.
		not P.
Alex.

Le 8 déc. 2011 à 15:03, Stephan Schiffel a écrit :

> 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
> 
> ------------------------------------------------------------------------------
> Cloud Services Checklist: Pricing and Packaging Optimization
> This white paper is intended to serve as a reference, checklist and point of 
> discussion for anyone considering optimizing the pricing and packaging model 
> of a cloud services business. Read Now!
> http://www.accelacomm.com/jaw/sfnl/114/51491232/
> _______________________________________________
> ECLiPSe-CLP-Users mailing list
> ECLiPSe-CLP-Users_at_lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users

 -------------------------------
Alexandre Saidi
Maitre de Conférences
Ecole Centrale de Lyon-Dép. MI
LIRIS-CNRS UMR 5205
Tél : 0472186530, Fax : 0472186443