Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!cs.utexas.edu!tut.cis.ohio-state.edu!ucbvax!agate!shelby!csli!schuetze
From: schuetze@csli.Stanford.EDU (Hinrich Schuetze)
Newsgroups: comp.lang.prolog
Subject: unification in Prolog II
Message-ID: <11740@csli.Stanford.EDU>
Date: 16 Jan 90 06:03:39 GMT
Sender: schuetze@csli.Stanford.EDU (Hinrich Schuetze)
Reply-To: schuetze@csli.stanford.edu (Hinrich Schuetze)
Organization: Center for the Study of Language and Information, Stanford U.
Lines: 7

Does anyone know a good description of the unification
algorithm used in prolog II? I'm interested in how
circular structures are dealt with. 

Thanks a lot!

Hinrich