Я сам не пользователь IDE, но в SWI-Prolog есть такой, который называется XPCE и PCE Emacs. Установите с sudo apt-get install swi-prolog-xpce
, начните с ввода xpce
в окне терминала, затем emacs.
(с точкой), чтобы войти в редактор. Документация на веб-сайте SWI-Prolog .
Поддержка Prolog для GNU Emacs находится в пакете prolog-el
(опыта работы с этим нет).