Re: Trouble with Prolog.el