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

José F. Morales, Manuel Carro, Manuel V. Hermenegildo (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics