[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:

checklist(test,List)
test(A):-copy_term(A,B),call(A).

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.2.0 : Mon Jul 09 2018 - 02:05:29 CEST