Re: Occurs check

Article View: comp.lang.prolog

Article #2200

#2200

From: Peter Van Roy
Date: Tue, 15 Dec 1992 13:11

22 lines
1435 bytes

In article <1992Dec13.173016.8849@nntp.hut.fi>, jur@robin.cs.hut.fi (Jussi Rintanen) writes:
> 
> Question 1: What implementations of Prolog implement the occurs check?
> (Our university has both Sicstus and NU-Prolog.)
> 

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).

Peter 

----------------------------------------------------------------
Peter Van Roy
Digital Equipment Corporation          Net: vanroy@prl.dec.com
Paris Research Laboratory              Tel: (33) (1) 47 14 28 65
85, avenue Victor Hugo                 Fax: (33) (1) 47 14 28 99
92500 Rueil-Malmaison Cedex           Home: (33) (1) 30 61 41 29
France
----------------------------------------------------------------

Technical Details

Message-ID: <1992Dec15.131151.21406@prl.dec.com>

Path: arc1-ca.pugleaf.net!sparky!uunet!haven.umd.edu!decuac!pa.dec.com!decprl!decprl!vanroy

References: <1992Dec13.173016.8849@nntp.hut.fi>

Show Full Headers

Complete Article Headers

Newsgroups: comp.lang.prolog
Path: arc1-ca.pugleaf.net!sparky!uunet!haven.umd.edu!decuac!pa.dec.com!decprl!decprl!vanroy
From: vanroy@prl.dec.com (Peter Van Roy)
Subject: Re: Occurs check
Message-ID: <1992Dec15.131151.21406@prl.dec.com>
Sender: news@prl.dec.com (USENET News System)
Nntp-Posting-Host: prl332.prl.dec.com
Organization: Digital Equipment Corporation - Paris Research Laboratory
References:  <1992Dec13.173016.8849@nntp.hut.fi>
Date: Tue, 15 Dec 1992 13:11:51 GMT
Lines: 22

Reply to Parent Message