Re: Occurs check

Article View: comp.lang.prolog

Article #2214

#2214

From: Milan Richter
Date: Thu, 17 Dec 1992 17:21

10 lines
835 bytes

In article <1992Dec15.131151.21406@prl.dec.com> vanroy@prl.dec.com (Peter Van Roy) writes:
>The Wild_LIFE system implements unification of psi-terms, which
>renders the occur check superfluous.  Wild_LIFE is an
>implementation of LIFE, a language that elegantly generalizes
>Prolog.  A psi-term is an open-ended dynamic record that may be
>cyclic  (i.e., it is a general rooted graph).

Could you please provide references for Wild_LIFE? Thanks.

-- Milan Richter, Seattle

Technical Details

Message-ID: <89208@bcsaic.boeing.com>

Path: arc1-ca.pugleaf.net!sparky!uunet!bcstec!bcsaic!milan

References: <1992Dec13.173016.8849@nntp.hut.fi> <1992Dec15.131151.21406@prl.dec.com>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!bcstec!bcsaic!milan
From: milan@bcsaic.boeing.com (Milan Richter)
Newsgroups: comp.lang.prolog
Subject: Re: Occurs check
Message-ID: <89208@bcsaic.boeing.com>
Date: 17 Dec 92 17:21:08 GMT
References: <1992Dec13.173016.8849@nntp.hut.fi> <1992Dec15.131151.21406@prl.dec.com>
Organization: Boeing Computer Services
Lines: 9

Reply to Parent Message