An abstract approach to some loop detection problems

Fundamenta Informaticae

Volumn 31, Issue 2, 1997, Pages 195-212

  Skordev, Dimiter ^a  

^a UNIVERSITY OF SOFIA   (Bulgaria)

Author keywords

Cyclic loop; Logic program; Loop detection; Recursive computation

Indexed keywords

PROLOG (PROGRAMMING LANGUAGE); RECURSIVE FUNCTIONS;

LOOP DETECTION PROGRAMS;

LOGIC PROGRAMMING;

EID: 0031199408     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/fi-1997-31207     Document Type: Article

References (16)

1. Bol, R. N., Apt, K. R. and Klop, J. W.: "An analysis of loop checking mechanisms for logic programs", Theoretical Computer Science, 86, 1991, 35-79.
2. Covington, M. A.: "Eliminating unwanted loops in logic programming", SIGPLAN Notices, 20, No. 1, 1985, 20-26.
3. Covington, M. A.: "A further note on looping in Prolog", SIGPLAN Notices, 20, No. 8, 1985, 28-31.
4. Ferrucci, F., Pacini, G. and Sessa, M. I.: "Redundancy elimination and loop checks for logic programs", Information and Computation, 119, 1995, 137-153.
5. Fich, F. E.: "Lower bounds for the cycle detection problem", J. of Computer and System Sciences, 26, 1983, 392-409.
6. Kleine Büning, H., Löwen, U. and Schmitgen, S.: "Loop detection in propositional Prolog programs". E. Börger, H. Kleine Büning and M. M. Richter (eds.), CSL '88, 2nd Workshop on Computer Science Logic. Lecture Notes in Computer Science, vol. 385, Springer, 1989, 148-165.
7. Knuth, D. E.: The Art of Computer Programming. Vol. 2: Seminumerical Algorithms, Reading, Mass., Addison-Wesley, 1981.
8. Nute, D.: "A programming solution to certain problems with loops in Prolog", SIGPLAN Notices, 20, No. 8, 1985, 32-37.
9. Poole, P. and Goebel, R.: "On eliminating loops in PROLOG", SIGPLAN Notices, 20, No. 8, 1985, 38-40.
10. Skordev, D.: "On the detection of some periodic loops during the execution of Prolog programs". C. Rauszer (ed.), Algebraic Methods in Logic and in Computer Science. Banach Center Publications, vol. 28, Inst. of Math., Polish Acad. of Sciences, Warsaw, 1993, 151-166.
11. Skordev, D.: "On the detection of some loops in recursive computations.", Annuaire de l'Univ. de Sofia, Fac. de Math. et Inform., 87, Livre 1 - Math, (in print).
12. Skordev, D. and Durdanović, I.: "Loop detection in Prolog by searching for primitive cyclic goals", Paderborn, 1992 (unpublished manuscript).
13. Skordev, D. and Durdanović, I.: "Loop detection in Prolog in the case of possible backtracking", Paderborn, 1992 (unpublished manuscript).
14. Smith, D. E., Genesereth, M. R. and Ginsberg, M. L.: "Controlling recursive inference", Artificial Intelligence, 30, 1986, 343-389.
15. Van Gelder, A.: "Efficient loop detection in Prolog using the tortoise-and-hare technique", J. Logic Programming, 4, 1987, 23-31.
16. Vieille, L.: "Recursive query processing: The power of logic", Theoretical Computer Science, 69, 1989, 1-53.