Rename prolog.prolog to prolog.pl