Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!zaphod.mps.ohio-state.edu!unix.cis.pitt.edu!dsinc!netnews.upenn.edu!msuinfo!news
From: reid@ss6.msu.edu (Dr Richard J. Reid)
Newsgroups: comp.lang.c++
Subject: Class Supporting Unification
Message-ID: <1991Mar4.214211.15048@msuinfo.cl.msu.edu>
Date: 4 Mar 91 21:42:11 GMT
Sender: news@msuinfo.cl.msu.edu
Organization: Michigan State University, East Lansing
Lines: 11

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