Foundation of logic programming based on inductive definition

DOI10.1007/BF03037052MaRDI QIDQ1075752zbMATH OpenFDO

Authors Masami Hagiya, Takafumi Sakurai

Publication date 1984

Published in New Generation Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF03037052

zbMATH Keywords

induction schemataleast fixpoint semanticslogical system of inference rulesnegation as failurequantified specification

Mathematics Subject Classification ID

Inductive definability (03D70) Abstract data types; algebraic specification (68Q65)

Recommendations

• Logic programming revisited: logic programs as inductive definitions
• A Proof-Theoretic Approach to Logic Programming
• A logical foundation for logic programming II: Semantics of general logic programs
• scientific article; zbMATH DE number 956484
• scientific article; zbMATH DE number 1531964

Cites work

• A proof description language and its reduction system
• Algorithm classification through synthesis
• Circumscription - a form of non-monotonic reasoning
• Contributions to the Theory of Logic Programming
• scientific article; zbMATH DE number 3466489 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)

Cited in

(10)

• A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction
• Inductive families
• Program development schemata as derived rules
• Initial semantics of logic specifications with negation
• scientific article; zbMATH DE number 1696830 (Why is no real title available?)
• A Proof-Theoretic Approach to Logic Programming
• scientific article; zbMATH DE number 1301742 (Why is no real title available?)
• scientific article; zbMATH DE number 922631 (Why is no real title available?)
• Logic programming revisited: logic programs as inductive definitions
• A Survey of the Proof-Theoretic Foundations of Logic Programming

This page was built for publication: Foundation of logic programming based on inductive definition

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