[comp.lang.c++] Class Supporting Unification

reid@ss6.msu.edu (Dr Richard J. Reid) (03/05/91)

Have you run across a Class library entry that supports
a declarative style of programming (ala Prolog) and
the unification mechanism inherent in that paradigm?

It would be similar to the List class that's in the g++
library, but capture some of Prolog rather than List's
capture of some of LISP.

Thanks for any leads,

Dick