[eclipse-clp-users] Existence of a solution

From: Christian Wirth <tyrion_at_...215...>
Date: Wed, 10 Feb 2010 19:27:09 +0100
.. got a new problem:

i have a list with of clauses like Pred(A,B)
I want now to check if all clauses are solvable, so i did:


that works fine except one problem: I get the some solution over and 
over, because call(A) is solvable by a variousity of facts, but because 
of copy_term that has no effect on the result (intended) i just want to 
know if there is ANY solution to A.
Received on Wed Feb 10 2010 - 18:27:17 CET

This archive was generated by hypermail 2.3.0 : Wed Aug 21 2019 - 09:13:32 CEST