Studies in Pure Prolog: Termination

This publication has 7 references indexed in Scilit:

• Proving termination properties of Prolog programs: a semantic approach
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Termination Proofs for Logic Programs
  Published by Springer Nature ,1990
• Efficient tests for top-down termination of logical rules
  Journal of the ACM, 1988
• Foundations of Logic Programming
  Published by Springer Nature ,1987
• A kripke-kleene semantics for logic programs*
  The Journal of Logic Programming, 1985
• Contributions to the Theory of Logic Programming
  Journal of the ACM, 1982
• Assigning meanings to programs
  Published by American Mathematical Society (AMS) ,1967