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.
- Annotated logic programming
- Declarative and operational semantics
Komendantskaya, E., & Seda, A. K. (2009). Sound and complete SLD-resolution for bilattice-based annotated logic programs. Electronic Notes in Theoretical Computer Science, 225(C), 141-159. https://doi.org/10.1016/j.entcs.2008.12.071