GNU Emacs 23.2.1
Fedora xfce 14

Estoy comenzando a ingresar a Prolog, y quiero usar mis emacs como IDE para programar en Prolog.

Actualmente uso emacs para c / c ++. Pero no estoy seguro de cómo comenzar con Prolog. Sé que emacs tiene una biblioteca incorporada para programar en emacs. Sin embargo, he investigado y descubrí que tiene menos funciones, es decir, sin resaltado de sintaxis, sangría, etc.

Así que descargué el emacs prackage Prolog.el. He cargado esta biblioteca usandoM-X Load-library.

Sin embargo, no estoy seguro de qué hacer después de eso. ¿Cómo compilo mis archivos de prólogo? En el menú del IDE de emacs no tiene nada para Prolog.

¿También necesito descargar algún intérprete o compilador para Prolog? ¿Hay un comando emacs para compilar? Normalmente uso make en emacs cuando compilo código c.

Hice un prólogo de búsqueda yum y obtuve estos resultados, así que con todas estas opciones, ¿cuál necesito?:

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

Muchas gracias por las sugerencias

================== EDITAR =====================

He instalado el siguientepl.x86_64

Tengo que descargar el prolog.el y ponerlo en el siguiente directorio:

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

Y configuré mis emacs con lo siguiente:

;;; 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))

Así que cuando guardo un archivo como * .pl obtengo las opciones del menú del prólogo.

Entonces escribo un código de prólogo y desde el menú de prólogo, seleccionoRun interactive prolog session

Me sale un segundo búfer en blanco que dice(Inferior Prolog:run Shell-Compile)

Sin embargo, no estoy seguro de lo que necesito hacer en esta etapa. ¿Cómo compilo y ejecuto los archivos de prólogo?

Muchas gracias por cualquier apoyo adicional.