Equivalences of logic programs

This publication has 11 references indexed in Scilit:

• A deterministic prolog fixpoint semantics
  The Journal of Logic Programming, 1985
• On the efficiency of subsumption algorithms
  Journal of the ACM, 1985
• Closures and fairness in the semantics of programming logic
  Theoretical Computer Science, 1984
• A theory of complete logic programs with equality
  The Journal of Logic Programming, 1984
• A polymorphic type system for prolog
  Artificial Intelligence, 1984
• Foundations of Logic Programming
  Published by Springer Nature ,1984
• Principles of Artificial Intelligence
  Published by Springer Nature ,1982
• Derivation of Logic Programs
  Journal of the ACM, 1981
• Negation as Failure
  Published by Springer Nature ,1978
• The Semantics of Predicate Logic as a Programming Language
  Journal of the ACM, 1976