[eclipse-clp-users] Existence of a solution

.. 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.