Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!das-news.harvard.edu!news2.near.net!MathWorks.Com!europa.eng.gtefsd.com!howland.reston.ans.net!spool.mu.edu!sgiblab!munnari.oz.au!cs.mu.OZ.AU!munta.cs.mu.OZ.AU!fjh
From: fjh@munta.cs.mu.OZ.AU (Fergus Henderson)
Subject: Re: Occur-check considered harmful?
Message-ID: <9425506.6106@mulga.cs.mu.OZ.AU>
Sender: news@cs.mu.OZ.AU
Organization: Computer Science, University of Melbourne, Australia
References: <PERM.94Sep8192108@groucho.csd.uu.se>
Date: Sun, 11 Sep 1994 20:10:16 GMT
Lines: 10

perm@csd.uu.se (Per Mildner) writes:

>Assuming occur-check was free, what would people think about a prolog
>implementation that enforces unification with occur-check?

If the occur-check was free, I think logic programmers would definitely
want implementations to enforce it.

-- 
Fergus Henderson - fjh@munta.cs.mu.oz.au
