Article View: comp.lang.prolog
Article #1509Re: Occur check
From: Pekka Kilpelainen
Date: Tue, 29 Sep 1992 12:57
Date: Tue, 29 Sep 1992 12:57
24 lines
1395 bytes
1395 bytes
In <PETER.92Sep25113017@bax.infko.uni-koblenz.de> peter@infko.uni-koblenz.de (Peter Baumgartner) writes:
>I have a question concerning the occur-check. Does anybody know of
>sufficent and (preferrably) statically checkable conditions to be
>imposed on a set of clauses (Horn clauses or 1st order clauses), which
>guarantee that the occur check need not be carried out during a
>resolution proof?
The following recent paper may provide answers to your question,
although I believe that its emphasis is more on Prolog as programming
language than on general resolution logic.
K. R. Apt and A. Pellegrini: Why the occur-check is not a
problem. In PLILP'92 Proceedings, pages 69-86, Springer-Verlag
LCNS 631.
Yours,
Pekka Kilpela"inen University of Helsinki kilpelai@cs.helsinki.fi
Dept. of Comp. Sci. *-358-0-7084227
--
Pekka Kilpel\"{a}inen University of Helsinki kilpelai@cs.helsinki.fi
Dept. of Comp. Sci. *-358-0-7084227
Technical Details
Message-ID:
<29316@hydra.Helsinki.FI>Path:
arc1-ca.pugleaf.net!sparky!uunet!mcsun!news.funet.fi!hydra!kilpelaiReferences:
<PETER.92Sep25113017@bax.infko.uni-koblenz.de>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!news.funet.fi!hydra!kilpelai From: kilpelai@cs.Helsinki.FI (Pekka Kilpelainen) Newsgroups: comp.lang.prolog Subject: Re: Occur check Message-ID: <29316@hydra.Helsinki.FI> Date: 29 Sep 92 12:57:31 GMT References: <PETER.92Sep25113017@bax.infko.uni-koblenz.de> Distribution: comp Organization: University of Helsinki, Finland Lines: 24