Using Prolog with the Emacs Editor