An Abstract Approach to Some Loop Detection Problems

Authors:
Dimiter Skordev
Affiliations:
Faculty of Mathematics and Informatics, University of Sofia, Sofia, Bulgaria. skordev@fmi.uni-sofia.bg
Venue:
Fundamenta Informaticae
Year:
1997

Citing 10
Cited 0

Controlling recursive inference

Artificial Intelligence
Efficient loop detection in Prolog using the tortoise-and-hare technique

Journal of Logic Programming
Recursive query processing: the power of logic

Theoretical Computer Science
An analysis of loop checking mechanisms for logic programs

Theoretical Computer Science
Redundancy elimination and loop checks for logic programs

Information and Computation
Loop Detection in Propositional Prolog Programs

CSL '88 Proceedings of the 2nd Workshop on Computer Science Logic
Eliminating unwanted loops in Prolog

ACM SIGPLAN Notices
A further note on looping in Prolog

ACM SIGPLAN Notices
A programming solution to certain problems with loops in Prolog

ACM SIGPLAN Notices
On eliminating loops in Prolog

ACM SIGPLAN Notices

Quantified Score

Hi-index	0.00

Visualization

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).