An Abstract Approach to Some Loop Detection Problems

Article type: Research Article

Authors: Skordev, Dimiter

Affiliations: Faculty of Mathematics and Informatics, University of Sofia, Sofia, Bulgaria. [email protected]

Abstract: The abstract approach proposed here encompasses both the detection of some periodic loops during the execution of Prolog programs and the detection of some periodic loops during recursive computations (an attempt to look at the loop detection problem for Prolog from an abstract point of view has been done previously in a paper by the same author published in 1993).

Keywords: Cyclic loop, loop detection, logic program, recursive computation

DOI: 10.3233/FI-1997-31207

Journal: Fundamenta Informaticae, vol. 31, no. 2, pp. 195-212, 1997