prolog.mm added