GNU Emacs 23.2.1
Fedora xfce 14

Começo a entrar no Prolog e quero usar o meu emacs como IDE para programação no Prolo

Atualmente eu uso o emacs para c / c ++. Mas não sei como começar com o Prolog. Eu sei que o emacs tem uma biblioteca embutida para programação no emacs. No entanto, pesquisei e descobri que ele possui menos recursos, ou seja, sem realce de sintaxe, recuo etc. etc.

Então, eu baixei o pacote Prolog.el do emacs. Carreguei esta biblioteca usandoM-X Load-library.

No entanto, não tenho certeza do que fazer depois disso. Como faço para compilar meus arquivos de prólogo? No menu do IDE do emacs, não há nada para o Prolog.

Eu também preciso baixar algum interpretador ou compilador para o Prolog? Existe um comando emacs para compilar? Normalmente, uso o make no emacs ao compilar o código

Fiz um prólogo de pesquisa do yum e obtive esses resultados; portanto, com todas essas opções, qual delas eu preciso?:

gprolog.x86_64 : GNU Prolog is a free Prolog compiler
pl.x86_64 : SWI-Prolog - Edinburgh compatible Prolog compiler
pl-static.x86_64 : Static library for SWI Prolog
ppl-gprolog.x86_64 : The GNU Prolog interface of the Parma Polyhedra Library
ppl-gprolog-static.x86_64 : The static archive for the GNU Prolog interface of the Parma Polyhedra Library
ppl-swiprolog.x86_64 : The SWI-Prolog interface of the Parma Polyhedra Library
ppl-swiprolog-static.x86_64 : The static archive for the SWI-Prolog interface of the Parma Polyhedra Library
ppl-yap.x86_64 : The YAP Prolog interface of the Parma Polyhedra Library
yap.i686 : High-performance Prolog Compiler
yap.x86_64 : High-performance Prolog Compiler

Muito obrigado por todas as sugestões

================== EDIT =====================

Instalei o seguintepl.x86_64

Faça o download do prolog.el e coloque-o no seguinte diretório:

~/.emacs.d/site-lisp/prolog/prolog.el

E eu configurei meu emacs com o seguinte:

;;; Prolog mode
(setq load-path (cons "~/.emacs.d/site-lisp/prolog/prolog.el" load-path))
(autoload 'run-prolog "prolog" "Start a Prolog sub-process." t)
(autoload 'prolog-mode "prolog" "Major mode for editing prolog programs." t)
(setq prolog-system 'swi) ; prolog-system below for possible values
(setq auto-mode-alist (append '(("\\.pl$" . prolog-mode))
                              auto-mode-alist))

Então, quando eu salvo um arquivo como * .pl, recebo as opções do menu Prolo

Então, escrevo um código de prólogo e, no menu prólogo, selecionoRun interactive prolog session

Eu recebo um segundo buffer em branco aberto que diz(Inferior Prolog:run Shell-Compile)

No entanto, não tenho certeza do que preciso fazer nesta fase. Como faço para compilar e executar os arquivos de prólogo?

Muitos agradecimentos por qualquer suporte adiciona