Improved Compilation of Prolog to C Using Moded Types and Determinism Information | Publicación