An External Module for Implementing Linear Tabling in Prolog.

Cludio Silva, Ricardo Rocha, Ricardo Lopes

Browse the full ICLP paper archive.