Программирование пролога в Ubuntu

У меня есть интерес к игре и fuxing с прологом, я установил swi-пролог и добавил репозиторий, на всякий случай, если кому-то интересно, какие команды я использовал:

% sudo apt-add-repository ppa:swi-prolog/stable
% sudo apt-get update
% sudo apt-get install swi-prolog

Как я действительно начинаю писать пролог-коды на моей Linux-машине? для моего обычного программирования я использую VIM для записи/редактирования/отладки и для компиляции терминала. Могу ли я использовать vim для написания пролога? Как я могу скомпилировать или использовать интерпретатор пролога (я думаю, что это то, что он называется)?

Ответ 1

Да, вы можете использовать любой текстовый редактор, в т.ч. VIM. После того, как вы написали исходный файл Prolog, скажем, file.pl, вы можете загрузить его в SWI-Prolog следующим образом:

swipl -s file.pl

Это скомпилирует ваш файл и приведет вас в интерактивную оболочку, где вы сможете задавать запросы по определениям в вашем файле.

Если вы хотите использовать вашу программу Prolog в пакетном режиме, вы можете использовать:

swipl -s file.pl -t goal

где goal - это цель/запрос, который вы хотите оценить. Обратите внимание, что в этом случае у вас не будет возможности запросить альтернативные решения.

Ответ 2

В Ubunutu я начал использовать emacs, который, по крайней мере, выделяет синтаксис:

http://www.swi-prolog.org/FAQ/GnuEmacs.html

(2 предложения emacs на этой странице ^)

Но теперь я использую пролог в гневе, я использую плагин Eclipse с именем PDT:

http://sewiki.iai.uni-bonn.de/research/pdt/docs/v2.1/start

Особенно полезной является линейная отладка и трассировка в режиме реального времени, поэтому вы можете вступать в отдельные индивидуальные предикаты, контролировать имена переменных и т.д., как и другие реальные IDE, которые вы найдете в eclipse.

Возможно, стоит только установить, если вы собираетесь использовать его LOT, так как установка - это большая работа, но это отличная среда разработки.

Но если вам нравятся ваши низкоуровневые редакторы, такие как VIM, вам придется использовать инструменты отладки и трассировки, встроенные в swi-пролог, см.:

http://www.swi-prolog.org/pldoc/man?section=debugger

Чтобы понять, как работает странный и красивый интерпретатор пролога, использование какого-либо индикатора является обязательным.

Ответ 3

Я лично использую gprolog или swipl в интерпретируемой среде. Таким образом, вы пишете факты и правила в файле mydb.pl и открываете интерпретатор в том же каталоге. Как только появится приглашение, вы можете запросить

['mydb.pl'].

для загрузки вашей базы данных. теперь вы можете увидеть предупреждения\ошибки или начать запросы из интерпретатора пролога.

Ответ 4

Вы можете использовать любой текстовый редактор, чтобы написать свой код. Просто убедитесь, что вы сохранили свой код с расширением .pl, например, fibo.pl. После этого откройте терминал и перейдите в место, где вы сохранили свой код. После этого введите пролог После этого напишите имя вашего файла без расширения .pl и завершите его . [ 'фибо']. и нажмите возврат

Например - CD/дома/студент/14917
пролог
[ 'Фибо'].

Здесь fibo.pl - название моей программы.

Ответ 5

Я использую пролог SWI с Sublime Text на Mac. Работает действительно хорошо. В Sublime Text вы просто нажимаете cmd - B, чтобы запустить код, и результат появляется в окне в Sublime Text. Существует пакет для него здесь.

Ответ 6

Я бы предложил использовать PPA "devel"... на самом деле он довольно стабильный и обладает всеми последними функциями. http://www.swi-prolog.org/build/PPA.html

Кроме того, вы можете прочитать обсуждения на https://swi-prolog.discourse.group/

Ответ 7

На ПК с Windows (в случае, если eclipse не может быть установлен), я использую NotePad+ с плагином пролога. Этого достаточно для счастливого креатива, написавшего обширные строки. для запуска/отладки? Я использую затмение, как описано выше.