🚀 go-pugleaf

I'm working on a meta-programming project and have run across something I just
can't figure a way to do.  I want to locate a clause via unification with its
head, and then be able to retrieve the clause *without binding any variables*.
The goal here is to modify the clause and replace it, so it's essential that
I avoid making unintended changes via bindings.

In Arity Prolog I can achieve most of this effect by accessing the clause
using their database predicate "recorded," which returns both the clause
(which I verify via unification) and a reference number I can use for later
access.  The catch is that any comparator predicates (e.g. N \== 2) are
loused up in the returned clause.  Arity tells me that they hadn't intended
for users to access clauses with database predicates, so this isn't a
supported feature.

Can anyone suggest alternate approaches to this problem?


---------------------------------------------------------------------------
 Bradley L. Richards       uucp:  cs.utexas.edu!bradley
 bradley@cs.utexas.edu     CompuServe:  75216,1744
---------------------------------------------------------------------------