emacs trick for prolog