13 citations · 14 across the 2 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2012★ 13 cited
Lightweight compilation of (C)LP to JavaScript
Jose F. Morales, Rémy Haemmerlé, Manuel Carro +1
We present and evaluate a compiler from Prolog (and extensions) to JavaScript which makes it possible to use (constraint) logic programming to develop the client side of web applic…
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…