Re: Occurs check

Article View: comp.lang.prolog

Article #2206

#2206

From: Torkel Franzen
Date: Thu, 17 Dec 1992 11:58

13 lines
1207 bytes

In article <1992Dec17.111142.24450@dcs.qmw.ac.uk> mmh@dcs.qmw.ac.uk 
(Matthew Huntbach) writes:

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

  There's nothing wrong with it. It's just that it's a good idea, both from
a theoretical and a practical point of view, to know what constraint system
one is working in. A Prolog without occur check which nevertheless only
partially supports circular term-like structures promotes the use of obscure
programming tricks and widens the gap between theory and practice.

Technical Details

Message-ID: <TORKEL.92Dec17125831@bast.sics.se>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!sunic!sics.se!torkel

References: <1992Dec13.173016.8849@nntp.hut.fi> <1992Dec17.111142.24450@dcs.qmw.ac.uk>

Show Full Headers

Complete Article Headers

Newsgroups: comp.lang.prolog
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!sunic!sics.se!torkel
From: torkel@sics.se (Torkel Franzen)
Subject: Re: Occurs check
In-Reply-To: mmh@dcs.qmw.ac.uk's message of 17 Dec 92 11:11:42 GMT
Message-ID: <TORKEL.92Dec17125831@bast.sics.se>
Sender: news@sics.se
Organization: Swedish Institute of Computer Science, Kista
References: <1992Dec13.173016.8849@nntp.hut.fi> <1992Dec17.111142.24450@dcs.qmw.ac.uk>
Date: Thu, 17 Dec 1992 11:58:31 GMT
Lines: 16

Reply to Parent Message