Re: Occurs check

Article View: comp.lang.prolog

Article #2215

#2215

From: Matthew Huntbach
Date: Fri, 18 Dec 1992 09:30

12 lines
1104 bytes

In article <24435@alice.att.com> pereira@alice.UUCP () writes:
>If you think of Prolog programs as *logic* programs where the logic is
>(a fragment of) first-order logic, what is wrong it that the answers
>derived without the occurs-check are in general unsound. For example,
>consider the first-order question
>
Well, yes, I'm aware of this, but Prolog is such a compromised
form of logic that I wonder if it matters. In any case, I
generally program in Strand where since there isn't full
unification, the problems of unifying cyclic terms don't occur.

Matthew Huntbach

Technical Details

Message-ID: <1992Dec18.093045.21069@dcs.qmw.ac.uk>

Path: arc1-ca.pugleaf.net!sparky!uunet!pipex!warwick!uknet!qmw-dcs!mmh

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

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!pipex!warwick!uknet!qmw-dcs!mmh
From: mmh@dcs.qmw.ac.uk (Matthew Huntbach)
Newsgroups: comp.lang.prolog
Subject: Re: Occurs check
Message-ID: <1992Dec18.093045.21069@dcs.qmw.ac.uk>
Date: 18 Dec 92 09:30:45 GMT
References: <1992Dec13.173016.8849@nntp.hut.fi> <1992Dec17.111142.24450@dcs.qmw.ac.uk> <24435@alice.att.com>
Sender: usenet@dcs.qmw.ac.uk (Usenet News System)
Organization: Computer Science Dept, QMW, University of London, UK.
Lines: 12
Nntp-Posting-Host: coffee.dcs.qmw.ac.uk

Reply to Parent Message