[comp.lang.prolog] Freeze/Thaw

bradley@cs.utexas.edu (Bradley L. Richards) (12/28/90)

Can someone point me to a good implementation of Freeze/Thaw?  I've found a
number of references to these predicates (e.g., Sterling & Shapiro) as a way
to handle variables in metaprogramming.  I'd like to avoid reinventing the
wheel, but I haven't been able to find an implementation of these critters.

Thanks,
Bradley