Semantics of Horn and disjunctive logic programs (Q1177928)

A unified theory for the semantics of Horn and disjunctive logic programs is developed. The authors extend the fixpoint semantics and the operational or procedural semantics proposed in \textit{M. H. van Emden}, \textit{R. A. Kowalski} [J. ACM 23(4), 733-742 (1976; Zbl 0339.68004)] and \textit{K. R. Apt}, \textit{M. H. van Emden} [ACM 29(3), 841-862 (1982; Zbl 0483.68004)] for Horn programs, to include the class of disjunctive logic programs, and prove the equivalence of the two semantics using techniques similar to the ones used in the above mentioned papers.