A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation.

Pablo Chico de Guzmn, Manuel Carro, Manuel V. Hermenegildo

Browse the full ICLP paper archive.