An extended variant of atoms loop check for positive logic programs

This publication has 9 references indexed in Scilit:

• Verifying local stratifiability of logic programs and databases II
  New Generation Computing, 1996
• Loop checking in partial deduction
  The Journal of Logic Programming, 1993
• Verifying local stratifiability of logic programs and databases
  New Generation Computing, 1992
• An analysis of loop checking mechanisms for logic programs
  Theoretical Computer Science, 1991
• Efficient loop detection in prolog using the tortoise-and-hare technique
  The Journal of Logic Programming, 1987
• Foundations of Logic Programming
  Published by Springer Nature ,1987
• On eliminating loops in Prolog
  ACM SIGPLAN Notices, 1985
• A further note on looping in Prolog
  ACM SIGPLAN Notices, 1985
• Eliminating unwanted loops in Prolog
  ACM SIGPLAN Notices, 1985