Adding Compiler in Prolog