A Tabling Implementation Based on Variables with Multiple Bindings.

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

Browse the full ICLP paper archive.