bug fixed compiler (for Prolog)