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 : 0472186443Received on Thu Dec 08 2011 - 18:03:00 CET
This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET