Towards a Complete Scheme for Tabled Execution Based on Program Transformation.

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

Browse the full PADL paper archive.