Compiling Prolog with a C compiler