The Compilation of Prolog and its execution with MALI (1992)

by P Brisset, O Ridoux