unification in Prolog II

Article View: comp.lang.prolog

Article #578

#578

From: Hinrich Schuetze
Date: Tue, 16 Jan 1990 06:03

7 lines
684 bytes

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

Technical Details

Message-ID: <11740@csli.Stanford.EDU>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!cs.utexas.edu!tut.cis.ohio-state.edu!ucbvax!agate!shelby!csli!schuetze

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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