Efficient Local Unfolding with Ancestor Stacks for Full Prolog.

Germn Puebla, Elvira Albert, Manuel V. Hermenegildo

Browse the full LOPSTR paper archive.