compiling from Prolog to C