A transformation of propositional Prolog programs into classical logic

DOI10.1007/3-540-59487-6_22MaRDI QIDQ5101458zbMATH OpenOpenAlexFDO

Authors Robert F. Stärk

Publication date 30 August 2022

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-59487-6_22

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• First-order theories for pure Prolog programs with negation
• scientific article; zbMATH DE number 408800
• Reasoning about termination of pure Prolog programs
• Transformations of logic programs with goals as arguments
• Proving termination properties of prolog programs: A semantic approach

Cites work

• A kripke-kleene semantics for logic programs*
• A linear axiomatization of negation as failure
• A logical semantics for depth-first Prolog with ground negation
• A mathematical definition of full Prolog
• Commonsense axiomatizations for logic programs
• First-order theories for pure Prolog programs with negation
• scientific article; zbMATH DE number 86272 (Why is no real title available?)
• scientific article; zbMATH DE number 1215501 (Why is no real title available?)
• scientific article; zbMATH DE number 3999251 (Why is no real title available?)
• scientific article; zbMATH DE number 4114596 (Why is no real title available?)
• Input/Output Dependencies of Normal Logic Programs
• Mints type deductive calculi for logic programming
• Negation in logic programming
• Reasoning about termination of pure Prolog programs

Cited in

(2)

• scientific article; zbMATH DE number 3943013 (Why is no real title available?)
• scientific article; zbMATH DE number 4074450 (Why is no real title available?)

This page was built for publication: A transformation of propositional Prolog programs into classical logic

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