메뉴 건너뛰기




Volumn 5, Issue , 2003, Pages 275-283

Efficient Fixpoint Computation in Linear Tabling

Author keywords

Linear tabling; Memoization; Optimization techniques; Prolog; Recursion; Tabling

Indexed keywords

CONSTRAINT THEORY; ITERATIVE METHODS; LOGIC PROGRAMMING; RECURSIVE FUNCTIONS; TREES (MATHEMATICS);

EID: 1242265129     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/888251.888277     Document Type: Conference Paper
Times cited : (27)

References (21)
  • 1
    • 84976736962 scopus 로고
    • An amateur's introduction to recursive query processing strategies
    • May 28-30
    • BANCILHON, F., AND RAMAKRISHNAN, R. An amateur's introduction to recursive query processing strategies. Proc. of ACM SIGMOD '86 (May 28-30, 1986), 16-52.
    • (1986) Proc. of ACM SIGMOD '86 , pp. 16-52
    • Bancilhon, F.1    Ramakrishnan, R.2
  • 2
    • 0031999231 scopus 로고    scopus 로고
    • Tabulated resolution for the well-founded semantics
    • Feb.
    • BOL, R. N., AND DEGERSTEDT, L. Tabulated resolution for the well-founded semantics. Journal of Logic Programming 34, 2 (Feb. 1998), 67-109.
    • (1998) Journal of Logic Programming , vol.34 , Issue.2 , pp. 67-109
    • Bol, R.N.1    Degerstedt, L.2
  • 3
    • 0029695436 scopus 로고    scopus 로고
    • Tabled evaluation with delaying for general logic programs
    • Jan.
    • CHEN, W., AND WARREN, D. S. Tabled evaluation with delaying for general logic programs. Journal of the ACM 43, 1 (Jan. 1996), 20-74.
    • (1996) Journal of the ACM , vol.43 , Issue.1 , pp. 20-74
    • Chen, W.1    Warren, D.S.2
  • 4
    • 84947770327 scopus 로고    scopus 로고
    • CAT: The copying approach to tabling
    • DEMOEN, B., AND SAGONAS, K. CAT: The copying approach to tabling. LNCS (PLILP) 1490 (1998), 21-35.
    • (1998) LNCS (PLILP) , vol.1490 , pp. 21-35
    • Demoen, B.1    Sagonas, K.2
  • 5
    • 84867447464 scopus 로고    scopus 로고
    • CHAT: The copy-hybrid approach to tabling
    • DEMOEN, B., AND SAGONAS, K. CHAT: The copy-hybrid approach to tabling. LNCS (PADL) 1551 (1999), 106-121.
    • (1999) LNCS (PADL) , vol.1551 , pp. 106-121
    • Demoen, B.1    Sagonas, K.2
  • 6
    • 84957716924 scopus 로고    scopus 로고
    • Beyond depth-first: Improving tabled logic programs through alternative scheduling strategies
    • FREIRE, J., SWIFT, T., AND WARREN, D. S. Beyond depth-first: Improving tabled logic programs through alternative scheduling strategies. LNCS (PLILP) 1140 (1996), 243-257.
    • (1996) LNCS (PLILP) , vol.1140 , pp. 243-257
    • Freire, J.1    Swift, T.2    Warren, D.S.3
  • 7
    • 84937210915 scopus 로고    scopus 로고
    • A simple scheme for implementing tabled logic programming systems based on dynamic reordering of alternatives
    • GUO, H.-F., AND GUPTA, G. A simple scheme for implementing tabled logic programming systems based on dynamic reordering of alternatives. LNCS (ICLP) 2237 (2001), 181-195.
    • (2001) LNCS (ICLP) , vol.2237 , pp. 181-195
    • Guo, H.-F.1    Gupta, G.2
  • 9
    • 0002444193 scopus 로고
    • "memo" functions and machine learning
    • Apr.
    • MICHIE, D. "memo" functions and machine learning. Nature (Apr. 1968), 19-22.
    • (1968) Nature , pp. 19-22
    • Michie, D.1
  • 11
    • 1242331070 scopus 로고    scopus 로고
    • Model checking with tabled logic programming
    • ALP
    • RAMAKRISHNAN, C. Model checking with tabled logic programming. In ALP News Letter (2002), ALP.
    • (2002) ALP News Letter
    • Ramakrishnan, C.1
  • 12
    • 23044528655 scopus 로고    scopus 로고
    • On a tabling engine that can exploit or-parallelism
    • ROCHA, R., SILVA, F., AND COSTA, V. S. On a tabling engine that can exploit or-parallelism. LNCS (ICLP) 2237 (2001), 43-58.
    • (2001) LNCS (ICLP) , vol.2237 , pp. 43-58
    • Rocha, R.1    Silva, F.2    Costa, V.S.3
  • 13
    • 0032058020 scopus 로고    scopus 로고
    • An abstract machine for tabled execution of fixed-order stratified logic programs
    • 1 May
    • SAGONAS, K., AND SWIFT, T. An abstract machine for tabled execution of fixed-order stratified logic programs. ACM Transactions on Programming Languages and Systems 20, 3 (1 May 1998), 586-634.
    • (1998) ACM Transactions on Programming Languages and Systems , vol.20 , Issue.3 , pp. 586-634
    • Sagonas, K.1    Swift, T.2
  • 15
    • 85034427623 scopus 로고
    • OLD resolution with tabulation
    • London, E. Shapiro, Ed., Lecture Notes in Computer Science, Springer-Verlag
    • TAMAKI, H., AND SATO, T. OLD resolution with tabulation. In Proceedings of the Third International Conference on Logic Programming (London, 1986), E. Shapiro, Ed., Lecture Notes in Computer Science, Springer-Verlag, pp. 84-98.
    • (1986) Proceedings of the Third International Conference on Logic Programming , pp. 84-98
    • Tamaki, H.1    Sato, T.2
  • 17
    • 1242331068 scopus 로고
    • ATR integrated speech and language database
    • ATR Interpreting Telecommunications Research Laboratories. In Japanese
    • URATANI, N., TAKEZAWA, T., MATSUO, H., AND MORITA, C. ATR integrated speech and language database. Technical Report TR-IT-0056, ATR Interpreting Telecommunications Research Laboratories, 1994. In Japanese.
    • (1994) Technical Report , vol.TR-IT-0056
    • Uratani, N.1    Takezawa, T.2    Matsuo, H.3    Morita, C.4
  • 20
    • 0030284443 scopus 로고    scopus 로고
    • Parameter passing and control stack management in Prolog implementation revisited
    • Nov.
    • ZHOU, N.-F. Parameter passing and control stack management in Prolog implementation revisited. ACM. Transactions on Programming Languages and Systems 18, 6 (Nov. 1996), 752-779.
    • (1996) ACM. Transactions on Programming Languages and Systems , vol.18 , Issue.6 , pp. 752-779
    • Zhou, N.-F.1
  • 21
    • 84958979458 scopus 로고    scopus 로고
    • Implementation of a linear tabling mechanism
    • ZHOU, N.-F., SHEN, Y.-D., YUAN, L.-Y., AND You, J.-H. Implementation of a linear tabling mechanism. LNCS (PAUL) 1753 (2000), 109-123.
    • (2000) LNCS (PAUL) , vol.1753 , pp. 109-123
    • Zhou, N.-F.1    Shen, Y.-D.2    Yuan, L.-Y.3    You, J.-H.4


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