6 citations · 7 across the 4 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2024
The Semantics of Metapropramming in Prolog
David S. Warren
This paper describes a semantics for pure Prolog programs with negation that provides meaning to metaprograms. Metaprograms are programs that construct and use data structures as p…
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…