[eclipse-clp-users] testing NOT existence

From: Christian Wirth <tyrion_at_...215...>
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 archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:29 CEST