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

From: Kish Shen <kisshen_at_...5...>
Date: Wed, 10 Feb 2010 19:31:08 +0000
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)


This e-mail may contain confidential and privileged material for the
sole use of the intended recipient. Any review, use, distribution or
disclosure by others is strictly prohibited. If you are not the intended
recipient (or authorized to receive for the recipient), please contact
the sender by reply e-mail and delete all copies of this message.
Cisco Systems Limited (Company Number: 02558939), is registered in
England and Wales with its registered office at 1 Callaghan Square,
Cardiff, South Glamorgan CF10 5BT.
Received on Wed Feb 10 2010 - 19:31:19 CET

This archive was generated by hypermail 2.3.0 : Sun Aug 25 2019 - 03:15:37 CEST