Tabling as a library with delimited control. Issue 4 (3rd September 2015)

• Record Type: Journal Article
• Authors: DESOUTER, BENOIT; VAN DOOREN, MARKO; SCHRIJVERS, TOM
• Editors: Eiter, Thomas; Toni, Francesca
• Is Part Of: Theory and practice of logic programming. Volume 15:Issue 4/5(2015)
• Page Start: 419
• Page End: 433
• Publication Date: 2015-09-03
• Subjects: tabling, -- tabulation, -- delimited continuations, -- Prolog, -- logic programming; Logic programming -- Periodicals; Artificial intelligence -- Computer programs -- Periodicals; Constraint programming (Computer science) -- Periodicals; 005.115
• DOI: 10.1017/S1471068415000137
• Languages: English
• ISSNs: 1471-0684

Abstract

Abstract: Tabling is probably the most widely studied extension of Prolog. But despite its importance and practicality, tabling is not implemented by most Prolog systems. Existing approaches require substantial changes to the Prolog engine, which is an investment out of reach of most systems. To enable more widespread adoption, we present a new implementation of tabling in under 600 lines of Prolog code. Our lightweight approach relies on delimited control and provides reasonable performance.