Re: Occurs check

Article View: comp.lang.prolog

Article #2205

#2205

From: Matthew Huntbach
Date: Thu, 17 Dec 1992 11:11

9 lines
884 bytes

In article <1992Dec13.173016.8849@nntp.hut.fi> Jussi.Rintanen@hut.fi writes:
>Question 1: What implementations of Prolog implement the occurs check?

I have written programs which rely on the occur-check not
happening, since they intentionally build circular structures.
What should be so wrong with this - after all it's a standard
programing feature in lazy functional languages.

Matthew Huntbach

Technical Details

Message-ID: <1992Dec17.111142.24450@dcs.qmw.ac.uk>

Path: arc1-ca.pugleaf.net!sparky!uunet!spool.mu.edu!agate!doc.ic.ac.uk!uknet!qmw-dcs!mmh

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

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!spool.mu.edu!agate!doc.ic.ac.uk!uknet!qmw-dcs!mmh
From: mmh@dcs.qmw.ac.uk (Matthew Huntbach)
Newsgroups: comp.lang.prolog
Subject: Re: Occurs check
Message-ID: <1992Dec17.111142.24450@dcs.qmw.ac.uk>
Date: 17 Dec 92 11:11:42 GMT
References: <1992Dec13.173016.8849@nntp.hut.fi>
Sender: usenet@dcs.qmw.ac.uk (Usenet News System)
Organization: Computer Science Dept, QMW, University of London, UK.
Lines: 9
Nntp-Posting-Host: coffee.dcs.qmw.ac.uk

Reply to Parent Message