[eclipse-clp-users] Want to indicate which arg position causes unification to fail

From: -dp- <david_at_...151...>
Date: Tue, 20 Mar 2012 08:25:40 +0800
I've looked through the user manual for v6.1 (64bit) about debugging and
about events, and searched through old postings...but found no answer.

I would like to create a predicate that performs unification but also, in
case unification fails, indicates which arg position was responsible for
the failure. Does the builtin unifier provide any hooks for this info?
Received on Tue Mar 20 2012 - 00:56:29 CET

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