Displaying similar documents to “On the detection of some periodic loops during the execution of Prolog programs”