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