A note on semantics of logic programs with equality based on complete sets of E-unifiers
1996 (English)In: JOURNAL OF LOGIC PROGRAMMING, ISSN 0743-1066, Vol. 28, no 3, 207-216 p.Article in journal (Other scientific) Published
We discuss semantics of equational Horn-clause programs based on the notion of a complete set of E-unifiers. We prove incompleteness of SLDE dagger-resolution in the general case. SLDE dagger-resolution was introduced by Gallier and Raatz who proved its c
Place, publisher, year, edition, pages
ELSEVIER SCIENCE INC , 1996. Vol. 28, no 3, 207-216 p.
IdentifiersURN: urn:nbn:se:uu:diva-27230OAI: oai:DiVA.org:uu-27230DiVA: diva2:55124
Addresses: UNIV UPPSALA, DEPT COMP SCI, S-75105 UPPSALA, SWEDEN.2008-10-172008-10-172011-01-15