Efficient Loop Detection in Prolog using the Tortoise-and-Hare Technique.

Allen Van Gelder Efficient Loop Detection in Prolog using the Tortoise-and-Hare Technique. 23-31 1987 4 J. Log. Program. 1 db/journals/jlp/jlp4.html#Gelder87