A Program Transformation for Continuation Call-Based Tabled Execution

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

The advantages of tabled evaluation regarding program termination and reduction of complexity are well known --as are the significant implementation, portability, and maintenance e…