TermiLog: A system for checking termination of queries to logic programs

This publication has 11 references indexed in Scilit:

• Modular Termination Proofs for Logic and Pure PROLOG Programs
  Published by Oxford University Press (OUP) ,1994
• Termination of logic programs: the never-ending story
  The Journal of Logic Programming, 1994
• Reasoning about Termination of Pure Prolog Programs
  Information and Computation, 1993
• Abstract interpretation and application to logic programs
  The Journal of Logic Programming, 1992
• Acyclic programs
  New Generation Computing, 1991
• Deriving constraints among argument sizes in logic programs
  Annals of Mathematics and Artificial Intelligence, 1991
• Termination Proofs for Logic Programs
  Published by Springer Nature ,1990
• Inference of monotonicity constraints in datalog programs
  Published by Association for Computing Machinery (ACM) ,1989
• Efficient tests for top-down termination of logical rules
  Journal of the ACM, 1988
• Foundations of Logic Programming
  Published by Springer Nature ,1987