[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.3.0 : Thu Feb 22 2024 - 18:13:20 CET