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

From: Christian Wirth <tyrion_at_...215...>
Date: Wed, 10 Feb 2010 21:06:21 +0100
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
Received on Wed Feb 10 2010 - 20:06:32 CET

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:29 CEST