메뉴 건너뛰기




Volumn 2, Issue 3, 2002, Pages 369-418

Classes of terminating logic programs

Author keywords

Control; Dynamic scheduling; Left termination; Level mapping; Logic program; Norm; Selection rule; Universal termination

Indexed keywords


EID: 0042355319     PISSN: 14710684     EISSN: None     Source Type: Journal    
DOI: 10.1017/S1471068402001400     Document Type: Article
Times cited : (17)

References (77)
  • 6
    • 0001609012 scopus 로고
    • Reasoning about termination of pure Prolog programs
    • Apt, K. R. and Pedreschi, D. (1993) Reasoning about termination of pure Prolog programs. Information and Computation, 106(1), 109-157.
    • (1993) Information and Computation , vol.106 , Issue.1 , pp. 109-157
    • Apt, K.R.1    Pedreschi, D.2
  • 7
    • 0003144205 scopus 로고
    • Modular termination proofs for logic and pure Prolog programs
    • Levi, G. (ed.), Oxford University Press
    • Apt, K. R. and Pedreschi, D. (1994). Modular termination proofs for logic and pure Prolog programs. In: Levi, G. (ed.), Advances in Logic Programming Theory, pp. 183-229. Oxford University Press.
    • (1994) Advances in Logic Programming Theory , pp. 183-229
    • Apt, K.R.1    Pedreschi, D.2
  • 11
    • 0040622369 scopus 로고
    • Proving termination properties of Prolog programs: A semantic approach
    • Baudinet, M. (1992) Proving termination properties of Prolog programs: a semantic approach. J. Logic Programming, 14, 1-29.
    • (1992) J. Logic Programming , vol.14 , pp. 1-29
    • Baudinet, M.1
  • 13
    • 0002882910 scopus 로고
    • Strong termination of logic programs
    • Bezem, M. A. (1993) Strong termination of logic programs. J. Logic Programming, 15(1/2), 79-98.
    • (1993) J. Logic Programming , vol.15 , Issue.1-2 , pp. 79-98
    • Bezem, M.A.1
  • 14
    • 0026206586 scopus 로고
    • An analysis of loop checking mechanism for logic programs
    • Bol, R. N., Apt, K. R. and Klop, J. W. (1991) An analysis of loop checking mechanism for logic programs. Theoretical Computer Science, 86(1), 35-79.
    • (1991) Theoretical Computer Science , vol.86 , Issue.1 , pp. 35-79
    • Bol, R.N.1    Apt, K.R.2    Klop, J.W.3
  • 15
    • 0028378329 scopus 로고
    • Norms on terms and their use in proving universal termination of a logic program
    • Bossi, A., Cocco, N. and Fabris, M. (1994) Norms on terms and their use in proving universal termination of a logic program. Theoretical Computer Science, 124(2), 297-328.
    • (1994) Theoretical Computer Science , vol.124 , Issue.2 , pp. 297-328
    • Bossi, A.1    Cocco, N.2    Fabris, M.3
  • 22
    • 0002223019 scopus 로고
    • Continuity, consistency, and completeness properties for logic programs
    • Levi, G. and Martelli, M. (eds.), The MIT Press
    • Cavedon, L. (1989) Continuity, consistency, and completeness properties for logic programs. In: Levi, G. and Martelli, M. (eds.), Proceedings of the International Conference on Logic Programming, pp. 571-584. The MIT Press.
    • (1989) Proceedings of the International Conference on Logic Programming , pp. 571-584
    • Cavedon, L.1
  • 23
    • 0032678119 scopus 로고    scopus 로고
    • A semantic basis for the termination analysis of logic programs
    • Codish, M. and Taboch, C. (1999) A semantic basis for the termination analysis of logic programs. J. Logic Programming, 41(1), 103-123.
    • (1999) J. Logic Programming , vol.41 , Issue.1 , pp. 103-123
    • Codish, M.1    Taboch, C.2
  • 25
    • 0028429645 scopus 로고
    • Termination of logic programs: The never-ending story
    • De Schreye, D. and Decorte, S. (1994) Termination of logic programs: the never-ending story. J. Logic Programming, 19-20, 199-260.
    • (1994) J. Logic Programming , vol.19-20 , pp. 199-260
    • De Schreye, D.1    Decorte, S.2
  • 26
    • 0001653160 scopus 로고
    • A framework for analyzing the termination of definite logic programs with respect to call patterns
    • Institute for New Generation Computer Technology
    • De Schreye, D., Verschaetse, K. and Bruynooghe, M. (1992) A framework for analyzing the termination of definite logic programs with respect to call patterns. In: Proc. of the International Conference on Fifth Generation Computer Systems, pp. 481-488. Institute for New Generation Computer Technology.
    • (1992) Proc. of the International Conference on Fifth Generation Computer Systems , pp. 481-488
    • De Schreye, D.1    Verschaetse, K.2    Bruynooghe, M.3
  • 28
    • 0002825410 scopus 로고
    • Automatic inference of norms: A missing link in automatic termination analysis
    • Miller, D. (ed.), The MIT Press
    • Decorte, S., De Schreye, D. and Fabris, M. (1993) Automatic inference of norms: A missing link in automatic termination analysis. In: Miller, D. (ed.), Proc. of the International Logic Programming Symposium, pp. 420-436. The MIT Press.
    • (1993) Proc. of the International Logic Programming Symposium , pp. 420-436
    • Decorte, S.1    De Schreye, D.2    Fabris, M.3
  • 32
    • 0033078655 scopus 로고    scopus 로고
    • Termination of well-moded programs
    • Etalle, S., Bossi, A. and Cocco, N. (1999) Termination of well-moded programs. J. Logic Programming, 38(2), 243-257.
    • (1999) J. Logic Programming , vol.38 , Issue.2 , pp. 243-257
    • Etalle, S.1    Bossi, A.2    Cocco, N.3
  • 38
    • 85034528209 scopus 로고    scopus 로고
    • σ-termination: From a characterisation to an automated sufficient condition
    • To appear
    • Hoarau, S. and Mesnard, F. (2001) σ-termination: from a characterisation to an automated sufficient condition. Theory and Practice of Logic Programming. To appear.
    • (2001) Theory and Practice of Logic Programming
    • Hoarau, S.1    Mesnard, F.2
  • 39
    • 84976816925 scopus 로고
    • Algorithm = Logic + Control
    • Kowalski, R. A. (1979) Algorithm = Logic + Control. Comm. of the ACM, 22(7), 424-436.
    • (1979) Comm. of the ACM , vol.22 , Issue.7 , pp. 424-436
    • Kowalski, R.A.1
  • 42
    • 0039346788 scopus 로고    scopus 로고
    • Transformational methodology for proving termination of logic programs
    • Krishna Rao, M. R. K., Kapur, D. and Shyamasundar, R. K. (1998) Transformational methodology for proving termination of logic programs. J. Logic Programming, 34(1), 1-41.
    • (1998) J. Logic Programming , vol.34 , Issue.1 , pp. 1-41
    • Krishna Rao, M.R.K.1    Kapur, D.2    Shyamasundar, R.K.3
  • 45
    • 0029753434 scopus 로고    scopus 로고
    • On termination of general logic programs w.r.t. constructive negation
    • Marchiori, E. (1996a) On termination of general logic programs w.r.t. constructive negation. J. Logic Programming, 26(1), 69-89.
    • (1996) J. Logic Programming , vol.26 , Issue.1 , pp. 69-89
    • Marchiori, E.1
  • 46
    • 0032676384 scopus 로고    scopus 로고
    • On termination of logic programs with delay declarations
    • Marchiori, E. and Teusink, F. (1999) On termination of logic programs with delay declarations. J. Logic Programming, 39(1-3), 95-124.
    • (1999) J. Logic Programming , vol.39 , Issue.1-3 , pp. 95-124
    • Marchiori, E.1    Teusink, F.2
  • 50
    • 0345826215 scopus 로고    scopus 로고
    • PhD thesis, Oxford University Computing Laboratory
    • McPhee, R. (2000) Compositional logic programming. PhD thesis, Oxford University Computing Laboratory.
    • (2000) Compositional Logic Programming
    • McPhee, R.1
  • 51
  • 57
    • 0032673905 scopus 로고    scopus 로고
    • Verification of Logic Programs
    • Pedreschi, D. and Ruggieri, S. (1999c) Verification of Logic Programs. J. Logic Programming, 39(1-3), 125-176.
    • (1999) J. Logic Programming , vol.39 , Issue.1-3 , pp. 125-176
    • Pedreschi, D.1    Ruggieri, S.2
  • 61
    • 0034927575 scopus 로고    scopus 로고
    • ∃-universal termination of logic programs
    • Ruggieri, S. (2001) ∃-universal termination of logic programs. Theoretical Computer Science, 254(1-2), 273-296.
    • (2001) Theoretical Computer Science , vol.254 , Issue.1-2 , pp. 273-296
    • Ruggieri, S.1
  • 62
    • 0026291947 scopus 로고
    • A termination test for logic programs
    • Saraswat, V. A. and Ueda, K. (eds.), The MIT Press
    • Sagiv, Y. (1991) A termination test for logic programs. In: Saraswat, V. A. and Ueda, K. (eds.), Proc. of the International Logic Programming Symposium, pp. 518-532. The MIT Press.
    • (1991) Proc. of the International Logic Programming Symposium , pp. 518-532
    • Sagiv, Y.1
  • 64
    • 0005317112 scopus 로고    scopus 로고
    • Intelligent Systems Laboratory, Swedish Institute of Computer Science, PO Box 1263, S-164 29 Kista, Sweden
    • SICStus (1998) SICStus Prolog user's manual. Intelligent Systems Laboratory, Swedish Institute of Computer Science, PO Box 1263, S-164 29 Kista, Sweden. http://www.sics.se/sicstus/docs/3.7.1/html/sicstus-toc.html.
    • (1998) SICStus Prolog User's Manual
  • 66
    • 0002896208 scopus 로고    scopus 로고
    • Proving termination of input-consuming logic programs
    • De Schreye, D. (ed.), MIT Press
    • Smaus, J.-G. (1999b) Proving termination of input-consuming logic programs. In: De Schreye, D. (ed.), Proc. of the International Conference on Logic Programming, pp. 335-349. MIT Press.
    • (1999) Proc. of the International Conference on Logic Programming , pp. 335-349
    • Smaus, J.-G.1
  • 67
    • 0041854316 scopus 로고    scopus 로고
    • Verifying termination and error-freedom of logic programs with block declarations
    • Smaus, J.-G., Hill, P. M. and King, A. M. (2001) Verifying termination and error-freedom of logic programs with block declarations. Theory and Practice of Logic Programming, 1(4), 447-486.
    • (2001) Theory and Practice of Logic Programming , vol.1 , Issue.4 , pp. 447-486
    • Smaus, J.-G.1    Hill, P.M.2    King, A.M.3
  • 68
    • 0030262017 scopus 로고    scopus 로고
    • The execution algorithm of Mercury, an efficient purely declarative logic programming language
    • Somogyi, Z., Henderson, F. and Conway, T. (1996) The execution algorithm of Mercury, an efficient purely declarative logic programming language. J. Logic Programming, 29(1-3), 17-64.
    • (1996) J. Logic Programming , vol.29 , Issue.1-3 , pp. 17-64
    • Somogyi, Z.1    Henderson, F.2    Conway, T.3
  • 70
    • 0032162924 scopus 로고    scopus 로고
    • The theoretical foundations of LPTP (A Logic Program Theorem Prover)
    • Stärk, R. F. (1998) The theoretical foundations of LPTP (A Logic Program Theorem Prover). J. Logic Programming, 36(3), 241-269.
    • (1998) J. Logic Programming , vol.36 , Issue.3 , pp. 241-269
    • Stärk, R.F.1
  • 72
    • 0004475133 scopus 로고
    • Technical report, Department of Computer Science, University of Melbourne, Australia
    • Thom, J. and Zobel, J. (1988) NU-Prolog reference manual, version 1.3. Technical report, Department of Computer Science, University of Melbourne, Australia.
    • (1988) NU-Prolog Reference Manual, Version 1.3
    • Thom, J.1    Zobel, J.2
  • 73
    • 0002974347 scopus 로고
    • Guarded Horn Clauses, a parallel logic programming language with the concept of a guard
    • Nivat, M. and Fuchi, K. (eds.), North Holland, Amsterdam
    • Ueda, K. (1988) Guarded Horn Clauses, a parallel logic programming language with the concept of a guard. In: Nivat, M. and Fuchi, K. (eds.), Programming of Future Generation Computers, pp. 441-456. North Holland, Amsterdam.
    • (1988) Programming of Future Generation Computers , pp. 441-456
    • Ueda, K.1
  • 75
    • 0345826209 scopus 로고    scopus 로고
    • Termination analysis for abductive general logic programs
    • De Schreye, D. (ed.), The MIT Press
    • Verbaeten, S. (1999) Termination analysis for abductive general logic programs. In: De Schreye, D. (ed.), Proc. of the International Conference on Logic Programming, pp. 365-379. The MIT Press.
    • (1999) Proc. of the International Conference on Logic Programming , pp. 365-379
    • Verbaeten, S.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.