𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Equivalent logic programs and symmetric homogeneous forms of logic programs with equality

✍ Scribed by Kwok Hung Chan

Book ID
110983744
Publisher
John Wiley and Sons
Year
1987
Tongue
English
Weight
790 KB
Volume
3
Category
Article
ISSN
0824-7935

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Program logic and equivalence in the pre
Program logic and equivalence in the presence of garbage collection
✍ Cristiano Calcagno; Peter O'Hearn; Richard Bornat πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 220 KB

It is generally thought that reasoning about programs in memory safe, garbage collected languages is much easier than in languages where the programmer has more explicit control over memory. Paradoxically, existing program logics are based on a low-level view of storage that is sensitive to the pres

A note on semantics of logic programs wi
A note on semantics of logic programs with equality based on complete sets of E-unifiers
✍ Anatoli Degtyarev; Andrei Voronkov πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 538 KB

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