Logic Programming

DOI10.1017/CBO9780511526534MaRDI QIDQ4023589zbMATH OpenOpenAlexFDO

Authors James Andrews

Publication date 23 January 1993

Full work available at URL https://doi.org/10.1017/cbo9780511526534

zbMATH Keywords

logic programs without negationrewriting system

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Logic programming (68N17) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1531964
• Denotational and operational semantics for prolog
• scientific article; zbMATH DE number 4195154
• A Proof-Theoretic Approach to Logic Programming
• A rewrite mechanism for logic programs with negation

Cited in

(5)

• A logical semantics for depth-first Prolog with ground negation
• Logic programs as compact denotations.
• Theoretical Foundations and Semantics of Logic Programming
• scientific article; zbMATH DE number 1231615 (Why is no real title available?)
• Declarative Logic Programming: Theory, Systems, and Applications

This page was built for publication: Logic Programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4023589)