✦ LIBER ✦

A note on semantics of logic programs with equality based on complete sets of E-unifiers

✍ Scribed by Anatoli Degtyarev; Andrei Voronkov

Publisher: Elsevier Science
Year: 1996
Tongue: English
Weight: 538 KB
Volume: 28
Category: Article
ISSN: 0743-1066
DOI: 10.1016/0743-1066(96)00049-0

No coin nor oath required. For personal study only.

✦ Synopsis

We discuss semantics of equational Horn-clause programs based on the notion of a complete set of E-unifiers. We prove incompleteness of SLDE tresolution in the general case. SLDELresolution was introduced by Gallier and Raatz who proved its completeness for the case of well-behaved programs. We also define and compare several fixpoint semantics based on complete sets of E-unifiers.

📜 SIMILAR VOLUMES

Molecular gas dynamics and the direct si

Molecular gas dynamics and the direct simulation of gas flows: GA Bird Oxford engineering science series: 42. Oxford University Press, 1994, reprinted with corrections 1995. Included with the book is the provision of a disk, of the FORTRAN source code of a set of thirteen demonstration programs. These are based on the “direct simulation Monte Carlo” (DSMC method). 458 pp. £70.00 $90.00. ISBN 0 19 856195 4

✍ W. Steckelmacher 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 159 KB