Equivalences of Logic Programs

This publication has 11 references indexed in Scilit:

• Canonical logic programs
  The Journal of Logic Programming, 1986
• Some issues and trends in the semantics of logic programming
  Published by Springer Nature ,1986
• A kripke-kleene semantics for logic programs*
  The Journal of Logic Programming, 1985
• On the efficiency of subsumption algorithms
  Journal of the ACM, 1985
• A theory of complete logic programs with equality
  The Journal of Logic Programming, 1984
• A polymorphic type system for prolog
  Artificial Intelligence, 1984
• Closures and fairness in the semantics of programming logic
  Theoretical Computer Science, 1984
• Contributions to the Theory of Logic Programming
  Journal of the ACM, 1982
• Derivation of Logic Programs
  Journal of the ACM, 1981
• The Semantics of Predicate Logic as a Programming Language
  Journal of the ACM, 1976