A transformation of propositional Prolog programs into classical logic
From MaRDI portal
Publication:5101458
DOI10.1007/3-540-59487-6_22zbMath1496.68093OpenAlexW2159100323MaRDI QIDQ5101458
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
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Mints type deductive calculi for logic programming
- Reasoning about termination of pure Prolog programs
- A logical semantics for depth-first Prolog with ground negation
- First-order theories for pure Prolog programs with negation
- A mathematical definition of full Prolog
- A kripke-kleene semantics for logic programs*
- Negation in logic programming
- A linear axiomatization of negation as failure
- Commonsense axiomatizations for logic programs
- Input/Output Dependencies of Normal Logic Programs
This page was built for publication: A transformation of propositional Prolog programs into classical logic