Extending Horn clause logic with implication goals
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 4160108
- scientific article; zbMATH DE number 1761432
- Publication:4729408
- scientific article; zbMATH DE number 778204
- A declarative extension of horn clauses, and its significance for Datalog and its applications
- scientific article; zbMATH DE number 2090546
- scientific article; zbMATH DE number 4125378
- Towards coinductive theory exploration in Horn clause logic: position paper
- Implicative extensions of regular Kleene logics
- scientific article; zbMATH DE number 1841821
Cites work
- scientific article; zbMATH DE number 3872640 (Why is no real title available?)
- scientific article; zbMATH DE number 3980532 (Why is no real title available?)
- A logical analysis of modules in logic programming
- Clausal intuitionistic logic I. fixed-point semantics
- Contributions to the Theory of Logic Programming
- N-Prolog: An extension of Prolog with hypothetical implications. I.
- N-Prolog: An extension of prolog with hypothetical implication. II. Logical foundations, and negation as failure
Cited in
(7)- A logical analysis of modules in logic programming
- Semantics of structured normal logic programs
- scientific article; zbMATH DE number 4160108 (Why is no real title available?)
- A Transformational Semantics of Static Embedded Implications of Normal Logic Programs
- Structuring logic programs: a modal approach
- Mathematical Foundations of Computer Science 2005
- Translating propositional extended conjunctions of Horn clauses into Boolean circuits
This page was built for publication: Extending Horn clause logic with implication goals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1186427)
