Improved Compilation of Prolog to C Using Moded Types and Determinism Information.

Jos F. Morales, Manuel Carro, Manuel V. Hermenegildo

Browse the full PADL paper archive.