Хорошая IDE для начала работы с прологом

Мне нужно начать изучение Prolog для моей работы.

Я раньше не использовал Prolog, и моей компании нужно создать программу, которая будет использовать Prolog.

Таким образом, программа будет использоваться на коммерческой основе.

Итак, некоторые вопросы:

1) Использует ли Prolog компилятор для компиляции программ. Как и gcc для c?

2) Есть ли коммерческий стандарт Prolog? Я только слышал о SWI Prolog.

3) Я использую GNU Emacs с Linux уже много лет. Я думаю об использовании пакета Prolog.el? Любые комментарии по этому поводу?

Большое спасибо за любые ответы,

Ответ 1

Самая сложная ID Prolog, с которой я знаком, - это IDE на основе Eclipse для Amzi! Пролог. Это коммерческий продукт, но IDE можно скачать и использовать бесплатно в Student Edition. Это может быть идеальным для начинающего программиста. Отказ от ответственности: я могу быть предвзятым, потому что я предлагаю много бесплатных советов в Амзи! форум поддержки. Я думаю, есть плагин с открытым исходным кодом Eclipse, который поддерживает некоторые из версий Prolog с открытым исходным кодом. Обновление (май 2016 г.) Амзи! Prolog v. 10 теперь становится открытым исходным кодом, используя лицензию, подобную MIT.
Хотя SWI-Prolog является открытым исходным кодом (GPL), с ним можно создавать коммерческие приложения, как и с несколькими другими реализациями Prolog с открытым исходным кодом, такими как GNU Prolog и YAP. Кроме Амзи! В Prolog есть несколько других коммерческих продуктов. Visual Prolog отличается от стандарта ISO для Prolog, что большинство программистов Prolog не считают его "реальным прологом". SICStus Prolog - это коммерческая реализация Prolog, совместимая с ISO. Есть некоторые другие, которые являются Prolog-подобными, но с существенными расширениями, такими как ECLiPSe (не путать с IDE) и Mercury. Ряд коммерческих внедрений Prolog устарел на протяжении многих лет, как когда IF Prolog был заменен MINERVA. Здесь список реализаций с 2006 года.
Я знаю многих программистов, которые высоко говорят о режиме Prolog для GNU EMACS. Однако я бы подумал, что новичок получит выгоду от интегрированного отладчика/редактора, такого как Amzi! Пролог предлагает. SWI-Prolog разрабатывает графическую среду IDE на базе XPCE, которая представляет собой библиотеку графического интерфейса, которую SWI-Prolog выбрал для кросс-платформенной разработки. Почти все редакторы программистов будут снабжать подсветкой синтаксиса для Prolog с установленным файлом определений.

Ответ 2

Вы можете скомпилировать свой пролог-проект. Однако, в зависимости от используемой пролог-среды, это может быть промежуточный код, а не непосредственно исполняемый код. SWI Prolog и пролог Sicstus позволяют генерировать исполняемый файл этой формы (встраивание интерпретатора вместе с вашим скомпилированным промежуточным кодом). Другие прологи, такие как Arity Prolog/32, компилируются непосредственно в исполняемый файл x86. В Википедии есть страница, в которой сравнивает различные системы пролога.

Для пролога существует стандарт ISO. Однако почти каждая система пролога будет в основном совместима друг с другом, требуя незначительных изменений для переноса кода из одной прологовой системы в другую.

Ответ 3

В дополнение к тому, что уже сказал гусбро: SWI-Prolog, я думаю, лучший Prolog для обучения. Это может быть не самая быстрая реализация, но имеет довольно много колоколов и свистов, таких как редактирование командной строки и встроенный редактор Emacs, это бесплатное программное обеспечение, и его легко установить как на Windows, так и на Linux (и Mac OS X тоже считал). Он реализован как компилятор байт-кода для виртуальной машины, как и большинство прологов; даже те, которые производят собственный код, часто используют виртуальную машину в какой-то момент.

Основы Prolog практически одинаковы для реализаций; нестандартные расширения, такие как дополнительные библиотеки, интерфейсы ОС, программирование ограничения и т.д., как правило, немного отличаются.

Существуют различные интерфейсы Prolog-Java и Prolog-С#. SWI имеет расширения, которые позволяют ему функционировать как веб-сервер.

Ответ 4

SICStus Prolog имеет IDE на основе Eclipse. В SICStus IDE есть много дополнительных функций, не найденных в конкурирующих продуктах, свободных или коммерческих. Помимо прочего, он обнаруживает ошибки синтаксиса и другие распространенные ошибки при вводе, что может быть особенно ценным для новичков.

SICStus также имеет режим Emacs, но он не предлагает всех функциональных возможностей IDE на основе Eclipse.

Вы можете загрузить оценку SICStus Prolog с домашней страницы.

Я предвзятый, я один из разработчиков SICStus Prolog и разработчик SICStus Prolog IDE.

Ответ 5

Я использую встроенный swi-пролог для коммерческого развития.

В зависимости от ваших os вам может потребоваться начать с swipl-win.exe или xpce для получения графической среды

Ответ 6

Я использую плагин IDE eclipse под названием PDT. Установка довольно проста, и я думаю, что это хорошая среда. После установки вы можете выполнить инструкции на странице начало страницы", чтобы завершить установку и запустить вас.

Ответ 7

если вы привыкли работать в среде emacs, вам следует попробовать использовать дистрибутив Ciao. В нем много интересных и мощных функций, библиотек, а также лицензия GNU LGPL. Очень документировано и поддерживается. Перейдите к http://ciaohome.org/