Re: [eclipse-clp-users] Existence of a solution

Thx, a lot ..  nice trick


Kish Shen schrieb:
> Christian Wirth wrote:
>> 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.
>>
>
> The standard trick of determining if a Goal has any solution (without 
> binding any variables) is to use \+/1 twice:
>
> \+ \+(Goal)
>
> Cheers,
>
> Kish