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 -- 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.2.0 : Thu Feb 02 2012 - 02:31:58 CET