Ciao Prolog and Emacs 22