David Toman
-
Tchr: A framework for tabled clp
Theory and Practice of Logic Programming
A general implementation framework for tabled CLP
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming