Title: Loop checking in logic programming
Subjects: Logic programming