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

• 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

Nyckelord

E-UNIFICATION

Publikations- och innehållstyp

vet (ämneskategori)

art (ämneskategori)