Uniform proofs as a foundation for logic programming (original) (raw)
Related papers
A Uniform Proof-Theoretic Investigation of Linear Logic Programming
Journal of Logic and Computation, 1994
Proof-Theoretic and Higher-Order Extensions of Logic Programming
2010
Bottom-up abstract interpretation of logic programs
Theoretical Computer Science, 1994
A Proof-theoretic Analysis of Goal-directed Provability
Journal of Logic and Computation, 1994
Prolog technology for default reasoning: proof theory and compilation techniques
Artificial Intelligence, 1998
A logical foundation for logic programming II: Semantics of general logic programs
The Journal of Logic Programming, 1998
Towards a logical semantics for pure Prolog
Science of Computer Programming, 1998
A sequent calculus and a theorem prover for standard conditional logics
ACM Transactions on Computational Logic, 2007
A Tutorial on Proof Theoretic Foundations of Logic Programming
Lecture Notes in Computer Science, 2003
Proof Manipulations for Logic Programming Proof Systems
2001
The Synthesis of Logic Programs from Inductive Proofs
Computational Logic, 1990
A Strong Logic Programming View for Static Embedded Implications
Lecture Notes in Computer Science, 1999
A logical approach to A-Prolog
2002
Structural Properties of Logic Programs
1990
Proof Trees for Negation as Failure: Yet Another Prolog Meta-Interpreter
Iclp, 1988
Curso de Lógica y Matemática-Unidad 3: Programación en lógica definida y resolución
saber.ula.ve
SLWV — A theorem prover for logic programming
Lecture Notes in Computer Science, 1993
HiLog: A foundation for higher-order logic programming
The Journal of Logic Programming, 1993
A declarative semantics for Bousi∼ Prolog
PPDP
Synthesis and Transformation of Logic Programs from Constructive, Inductive Proof
Workshops in Computing, 1992
Uniform provability in classical logic
Journal of Logic and Computation, 1998
Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs
Springer eBooks, 1989
A proof procedure for the logic of hereditary Harrop formulas
Journal of Automated Reasoning, 1993
Information and Computation, 1995
The Strong Semantics for Logic Programs
1991
Tutorial notes: Reasoning about logic programs
Lecture Notes in Computer Science, 1992
A Goal-Directed Calculus for Standard Conditional Logics
Curso de Lógica y Matemática-Unidad 4: Negación en programación lógica
saber.ula.ve
Reasoning with Logic Programming
1996
Adding Data and Procedure Abstraction to the Transparent Prolog Machine TPM
International Conference on Lightning Protection, 1988
A Unifying View of Structural Induction and Computation Induction for Logic Programs
Workshops in Computing, 1993
A complete logic for reasoning about programs via nonstandard model theory II
Theoretical Computer Science, 1982
Constructing Provably Correct Logic Programs
Marc Kirschenbaum, L. Sterling
Logic programming revisited: Logic programs as inductive definitions
ACM Transactions on Computational Logic, 2001
Proofs You Can Believe In Proving Equivalences Between Prolog Semantics in Coq
2014