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.3.0 : Tue Apr 16 2024 - 09:13:20 CEST