Added files to program prolog from emacs