Использование пролога с emacs

GNU Emacs 23.2.1
Fedora xfce 14

Я начинаю разбираться в Prolog и хочу использовать свои emacs в качестве IDE для программирования на Prolog.

В настоящее время я использую emacs для c / c ++. Но не знаю, как начать работу с Prolog. Я знаю, что в emacs есть встроенная библиотека для программирования в emacs. Тем не менее, я исследовал и обнаружил, что в нем меньше функций, т.е. нет подсветки синтаксиса, отступов и т. Д.

Итак, я загрузил практический код emacs Prolog.el. Я загрузил эту библиотеку с помощью MX Load-library .

Однако я не уверен, что делать после этого. Как мне скомпилировать мои файлы пролога? В меню IDE emacs ничего нет для Prolog.

Нужно ли мне также скачать какой-нибудь интерпретатор или компилятор для Пролога? Есть ли команда emacs для компиляции? Обычно я использую make в emacs при компиляции кода C.

Я выполнил пролог поиска yum и получил эти результаты, поэтому со всеми этими вариантами, какой из них мне нужен?:

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

Большое спасибо за любые предложения,

= ================= РЕДАКТИРОВАТЬ =====================

Я установил следующие pl.x86_64

Я загрузил prolog.el и поместил его в следующий каталог:

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

И я настроил свои emacs следующим образом:

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

Итак, когда я сохраняю файл как * .pl, я получаю пролог параметры меню.

Итак, я пишу код пролога и в меню пролога выбираю Запустить сеанс интерактивного пролога

У меня открывается второй пустой буфер с надписью (Нижний пролог: запустить Shell-Compile )

Однако, Я не уверен, что мне нужно делать на данном этапе. Как мне скомпилировать и запустить файлы пролога?

Большое спасибо за дальнейшую поддержку.