6 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.PL2010★ 6 cited
XSB: Extending Prolog with Tabled Logic Programming
Terrance Swift, David S. Warren
The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this are…
cs.PL2010★ 1 cited
Swapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand Tabling
Pablo Chico de Guzman, Manuel Carro, David S. Warren
One of the differences among the various approaches to suspension-based tabled evaluation is the scheduling strategy. The two most popular strategies are local and batched evaluati…