A relational approach to logic programming: The extended Alexander method

DOI10.1016/0304-3975(89)90089-3MaRDI QIDQ1263276zbMATH OpenOpenAlexFDO

Authors 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

algorithm of the Alexander transformationcompiling method for logic programs without negationcompletenesssoundnesstermination

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2063843
• Constraint logic programming with a relational machine
• scientific article; zbMATH DE number 4074544
• scientific article; zbMATH DE number 2063838
• Derivation of logic programs by functional methods

Cites work

• Contributions to the Theory of Logic Programming
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 3890770 (Why is no real title available?)
• scientific article; zbMATH DE number 3945331 (Why is no real title available?)
• scientific article; zbMATH DE number 4049156 (Why is no real title available?)
• scientific article; zbMATH DE number 4049158 (Why is no real title available?)
• Implementation of logical query languages for databases
• On compiling queries in recursive first-order databases
• The Alexander Method - a technique for the processing of recursive axioms in deductive databases
• The Semantics of Predicate Logic as a Programming Language

Cited in

(3)

• Recursive query processing: The power of logic
• scientific article; zbMATH DE number 4074544 (Why is no real title available?)
• scientific article; zbMATH DE number 2063843 (Why is no real title available?)

This page was built for publication: A relational approach to logic programming: The extended Alexander method

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