Everything about Tabled logic programming

🧭 Start here: a 6-step reading path

1. Read the overview: Tabled logic programmingA 5-minute orientation
2. Pick up a classic book: Decision tablesThe most-reprinted book on the subject
3. Read the landmark paper: Tabled evaluation with delaying for general logic programsCited 260 times
4. Go sideways: Well-founded semanticsA closely related topic
5. Go sideways: Comparison of Prolog implementationsA closely related topic

🏆 Landmark papers (most cited)

• Tabled evaluation with delaying for general logic programs

  Weidong Chen, David S. Warren · 1996 · Journal of the ACM · 260 citations

• XSB: Extending Prolog with Tabled Logic Programming

  TERRANCE SWIFT, DAVID S. WARREN · 2011 · Theory and Practice of Logic Programming · 107 citations

• Efficient access mechanisms for tabled logic programs

  I.V Ramakrishnan, Prasad Rao, Konstantinos Sagonas · 1999 · The Journal of Logic Programming · 61 citations

• A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs

  Miguel Areias, Ricardo Rocha · 2015 · International Journal of Parallel Programming · 11 citations

• Model checking with probabilistic tabled logic programming

  ANDREY GORLIN, C. R. RAMAKRISHNAN, SCOTT A. SMOLKA · 2012 · Theory and Practice of Logic Programming · 8 citations

• Planning as tabled logic programming

  NENG-FA ZHOU, ROMAN BARTÁK, AGOSTINO DOVIER · 2015 · Theory and Practice of Logic Programming · 7 citations

• Failure tabled constraint logic programming by interpolation

  GRAEME GANGE, JORGE A. NAVAS, PETER SCHACHTE · 2013 · Theory and Practice of Logic Programming · 5 citations

• Using Tabled Logic Programming to Solve the Petrobras Planning Problem

  ROMAN BARTÁK, NENG-FA ZHOU · 2014 · Theory and Practice of Logic Programming · 4 citations

📚 Books worth reading

• Decision tablesMichael Montalbano · 1974
• 📕EntscheidungstabellentechnikWerner Elben · 1973
• Decision table softwareHerman McDaniel · 1970
• 📕The synthesis of optimal decision trees from decision tablesHelmut Schumacher · 1974
• Decision table languages and systemsJohn R. Metzner · 1977
• Decision tables in software engineeringHurley, Richard B. · 1983
• Decision tables and computer programmingRay Welland · 1981
• 📕Decision tablesMichael Montalbano · 1974

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics

• Well-founded semantics In computer science, the well-founded semantics is a three-valued semantics for logic programming, which gives a precise meaning to general logic programs…
• Comparison of Prolog implementations The following comparison of Prolog implementations provides a reference for the relative feature sets and performance of different implementations of the…
• XSB XSB is the name of a dialect of the Prolog programming language and its implementation developed at Stony Brook University in collaboration with the Katholieke…
• Prolog Prolog is a logic programming language that has its origins in artificial intelligence, automated theorem proving, and computational linguistics. Prolog…
• SWI-Prolog SWI-Prolog is a free implementation of the programming language Prolog, commonly used for teaching and semantic web applications. It has a rich set of…
• SICStus Prolog SICStus Prolog is a proprietary, ISO-conforming implementation of the logic programming language Prolog. It is developed by the Swedish Institute of Computer…
• Quintus Prolog Quintus Prolog is a proprietary implementation of the Prolog programming language based on the Warren Abstract Machine. Originally developed by Quintus…
• Logic programming Logic programming is a programming, database, and knowledge representation paradigm based on formal logic. A logic program is a set of sentences in logical…