An extended variant of atoms loop check for positive logic programs

New Generation Computing

Volumn 15, Issue 2, 1997, Pages 187-203

  Shen, Yi Dong ^a,b,c  

^a CHONGQING UNIVERSITY   (China)

^b UNIVERSITÉ DE VALENCIENNES   (France)

^c Univ Maryland Inst Adv Comp S   (United States)

Author keywords

Extension; Logic Programming; Loop Checking; Variant of Atoms Check

Indexed keywords

PERT;

LOOP CHECKING; VARIANT OF ATOMS (VA) CHECK;

LOGIC PROGRAMMING;

EID: 0030645650     PISSN: 02883635     EISSN: None     Source Type: Journal    
DOI: 10.1007/bf03037237     Document Type: Article

References (10)

1. Bol, R, N., Apt, K. R., and Klop, J. W., "An Analysis of Loop Checking Mechanisms for Logic Programs," Theoretical Computer Science, 86, 1, pp. 35-79, 1991.
2. Bol. R., "Loop Checking in Partial Deduction," J. Logic Programming, 16, pp. 25-46, 1993.
3. Covington, M. A., "Eliminating Unwanted Loops in Prolog," SLGPLAN Notices, 20, 1, pp. 20-26, 1985.
4. Covington, M. A., "A Further Note on Loops in Prolog," SIGPLAN Notices, 20, 8, pp. 28-31, 1985.
5. Lloyd, J. W. Foundations of Logic Programming, 2nd ed., Springer-Verlag, Berlin, 1987.
6. Pool, D. and Goebel, R., "On Eliminating Loops in Prolog," SIGPLAN Notices, 20, 8, pp. 38-40, 1985.
7. Sahlin, D., "The Mixtus Approach to Automatic Partial Evaluation of Full Prolog," in Logic Programming: Proc. of the 1990 North American Conference (S. Debray and M. Hermenegildo, eds.), Austin, TX, Oct. 1990, MIT Press, Cambridge, MA, pp. 377-398, 1990.
8. Shen, Y. D., "Verifying Local Stratifiability of Logic Programs and Databases," New Generation Computing, 11, 1, pp. 23-46, 1992.
9. Shen, Y. D., "Verifying Local Stratifiability of Logic Programs and Databases II," New Generation Computing, 14, 3, pp. 317-341, 1996.
10. van Gelder, A., "Efficient Loop Detection in Prolog," J. Logic Programming, 4, pp. 23-31, 1987.