On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog.

Ricardo Rocha, Cludio Silva, Ricardo Lopes

Browse the full ICLP paper archive.