Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!bb3.andrew.cmu.edu!nntp.sei.cmu.edu!cis.ohio-state.edu!math.ohio-state.edu!howland.reston.ans.net!newsfeed.internetmci.com!news.mathworks.com!news.kei.com!simtel!harbinger.cc.monash.edu.au!yarrina.connect.com.au!labtam!news.mel.aone.net.au!inferno.mpx.com.au!news.unimelb.EDU.AU!cs.mu.OZ.AU!munta.cs.mu.OZ.AU!fjh
From: fjh@munta.cs.mu.OZ.AU (Fergus Henderson)
Subject: Re: Q: Write my own occurs check?
Message-ID: <9522913.25982@mulga.cs.mu.OZ.AU>
Sender: news@cs.mu.OZ.AU (CS-Usenet)
Organization: Computer Science, University of Melbourne, Australia
References: <fry.808374087@Csli.Stanford.EDU> <fry.808481070@Csli.Stanford.EDU>
Date: Thu, 17 Aug 1995 03:30:48 GMT
Lines: 15

fry@Csli.Stanford.EDU (John Fry) writes:

>>My question is, is there some way to do my own occurs check?
>>I'm using Sicstus 2.1 for Sparc...
>
>Apparently Sicstus 3.0 (which I should receive soon) offers
>'unify_with_occurs_check' as a library predicate.

FYI, this predicate is included in the ISO Prolog standard.

-- 
Fergus Henderson              | Designing grand concepts is fun;
fjh@cs.mu.oz.au               | finding nitty little bugs is just work.
http://www.cs.mu.oz.au/~fjh   | -- Brooks, in "The Mythical Man-Month".
PGP key fingerprint: 00 D7 A2 27 65 09 B6 AC  8B 3E 0F 01 E7 5D C4 3F
