A compiler from PL to machine language
Source: The Art of Prolog
Program source code: prolog_compiler.pl