Semantics of Horn and disjunctive logic programs (Q1177928)

From MaRDI portal
Revision as of 14:48, 14 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Semantics of Horn and disjunctive logic programs
scientific article

    Statements

    Semantics of Horn and disjunctive logic programs (English)
    0 references
    0 references
    0 references
    0 references
    26 June 1992
    0 references
    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.
    0 references
    semantics of Horn and disjunctive logic programs
    0 references

    Identifiers