A Proof-Theoretic Framework for Logic Programming

This publication has 21 references indexed in Scilit:

• Logic programming and negation: A survey
  The Journal of Logic Programming, 1994
• Bilattices and the semantics of logic programming
  The Journal of Logic Programming, 1991
• Strict completion of Logic Programs
  New Generation Computing, 1991
• Reflecting on incompleteness
  The Journal of Symbolic Logic, 1991
• A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
  Journal of Logic and Computation, 1990
• A completeness theorem for SLDNF resolution
  The Journal of Logic Programming, 1989
• Linear logic
  Theoretical Computer Science, 1987
• A kripke-kleene semantics for logic programs*
  The Journal of Logic Programming, 1985
• The recursion-theoretic complexity of the semantics of predicate logic as a programming language
  Information and Control, 1982
• The Semantics of Predicate Logic as a Programming Language
  Journal of the ACM, 1976