Emacs Does Interactive Prolog