[eclipse-clp-users] testing NOT existence

From: Christian Wirth <tyrion_at_geek-squad.de>
Date: Wed, 14 Apr 2010 19:18:03 +0200

i have a conditon NOT(pred(A)) and a fact pred(1). The existenc check 
\+(\+(not(pred(A))) should succeed, because it's possible that A is not 
bound to 1, but it fails because A gets bound to 1 by the test.
How can i test if a NOT(condition) is solvable ?

Received on Wed Apr 14 2010 - 17:18:09 CEST

This message: [ Message body ]
Next message: Kish Shen: "Re: [eclipse-clp-users] testing NOT existence"
Previous message: Kish Shen: "Re: [eclipse-clp-users] ECLiPSe 6.0 crashes with simple program"
Next in thread: Kish Shen: "Re: [eclipse-clp-users] testing NOT existence"
Reply: Kish Shen: "Re: [eclipse-clp-users] testing NOT existence"
Maybe reply: david: "Re: [eclipse-clp-users] testing NOT existence"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]

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