A relational approach to logic programming: The extended Alexander method

DOI10.1016/0304-3975(89)90089-3zbMath0687.68003OpenAlexW2026267935MaRDI QIDQ1263276

Jean-Marc Kerisit

Publication date: 1989

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(89)90089-3

zbMATH Keywords

completenessterminationsoundnessalgorithm of the Alexander transformationcompiling method for logic programs without negation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Theory of software (68N99)

Related Items

Recursive query processing: The power of logic

Cites Work

• The Alexander Method - a technique for the processing of recursive axioms in deductive databases
• Implementation of logical query languages for databases
• On compiling queries in recursive first-order databases
• Contributions to the Theory of Logic Programming
• The Semantics of Predicate Logic as a Programming Language
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item