Efficient Tabling Mechanisms for Logic Programs
I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren · The MIT Press eBooks · 1995
The use of tabling in logic programming allows bottom-up evaluation to be incorporatedin a top-down framework, combining advantages of both. At the engine level,tabling also introduces complications not present in pure top-down evaluation, dueto the need to access subgoals and answers during clause resolution. This paper describesthe design, implementation, and experimental evaluation of data structuresand algorithms for high-performance table access.Our