Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs

https://doi.org/10.1016/j.entcs.2008.12.071Get rights and content
Under a Creative Commons license
open access

Abstract

We introduce the class of normal bilattice-based annotated first-order logic programs (BAPs) and develop declarative and operational semantics for them. In particular, SLD-resolution for these programs is defined and its soundness and completeness established.

Keywords

Annotated logic programming
bilattices
declarative and operational semantics
SLD-resolution

Cited by (0)

1

The authors thank the Boole Centre for Research in Informatics at University College Cork for substantial support during the preparation of this paper.