Efficient access mechanisms for tabled logic programs

I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David S. Warren

Research output: Contribution to journalArticle

Abstract

The use of tabling in logic programming allows bottom-up evaluation to be incorporated in a top-down framework, combining advantages of both. At the engine level, tabling also introduces issues not present in pure top-down evaluation, due to the need for subgoals and answers to access tables during resolution. This article describes the design, implementation, and experimental evaluation of data structures and algorithms for high-performance table access. Our approach uses tries as the basis for tables. Tries, a variant of discrimination nets, provide complete discrimination for terms, and permit a lookup and possible insertion to be performed in a single pass through a term. In addition, a novel technique of substitution factoring is proposed. When substitution factoring is used, the access cost for answers is proportional to the size of the answer substitution, rather than to the size of the answer itself. Answer tries can be implemented both as interpreted structures and as compiled WAM-like code. When they are compiled, the speed of computing substitutions through answer tries is competitive with the speed of unit facts compiled or asserted as WAM code. Because answer tries can also be created an order of magnitude more quickly than asserted code, they form a promising alternative for representing certain types of dynamic code, even in Prolog systems without tabling.

Original languageEnglish (US)
Pages (from-to)31-54
Number of pages24
JournalJournal of Logic Programming
Volume38
Issue number1
DOIs
StatePublished - Jan 1 1999

Keywords

  • Discrimination nets
  • Implementation
  • Indexing
  • SLG-WAM
  • Tabling
  • Tries

ASJC Scopus subject areas

  • Logic

Fingerprint Dive into the research topics of 'Efficient access mechanisms for tabled logic programs'. Together they form a unique fingerprint.

  • Cite this

    Ramakrishnan, I. V., Rao, P., Sagonas, K., Swift, T., & Warren, D. S. (1999). Efficient access mechanisms for tabled logic programs. Journal of Logic Programming, 38(1), 31-54. https://doi.org/10.1016/S0743-1066(98)10013-4