Лучшие компиляторы Prolog: VIP7, SWI и Arity. Адреса популярных про-логов

[Profesor08]

Посоветуйте нормальный, удобный, компилятор для пролога. Или лучше бы среду разработки. В гугле варианты не подходящие.

[Balgas]

VIP7, SWI и Arity наиболее развитый всё-таки VIP.

Вот адреса популярных Прологов:
Trinc-Prolog
https://www.trinc-prolog.com/pages/download.php3
Visual Prolog
https://www.visual-prolog.com/
Visual Prolog Studio
EZY Prolog (надстройки к Visual Prolog)
https://users.tpg.com.au/adsluwfl/vpstudio/index.htm
SWI-Prolog
https://www.swi-prolog.org/download.html
xVisor
https://xvisor.dirinfo.net/html/download.html
LPA Win-Prolog
https://alice.stup.ac.ru/~dvn/downloa...win_prolog.zip
Quintus Prolog
Крутая штука. Реально.
Заполни форму:
https://www.sics.se/isl/quintuswww/si...ationform.html
Потом дадут скачать.
Sicstus Prolog
Аналогично
https://www.sics.se/isl/sicstuswww/site/eval.html
DGKS Prolog
https://www.geocities.com/SiliconValley/Campus/7816/
BinProlog
https://www.binnetcorp.com/BinProlog/obtain.html
Strawberry Prolog
https://www.dobrev.com/download.html
B-Prolog
https://www.cad.mse.kyutech.ac.jp/peo...u/bprolog.html
Kernel Prolog
https://www.binnetcorp.com/kprolog/Main.html
JProlog
https://www.cs.kuleuven.ac.be/~bmd/PrologInJava/
GNU Prolog
https://pauillac.inria.fr/~diaz/gnu-prolog/
GNU Prolog лучше брать отсюда
https://gnu-prolog.inria.fr/
Amzi! Prolog
https://www.amzi.com/download/index.htm
Может быть интересно - EZY Prolog :
https://www.ezy-software.com/ezyprolog/EZY_..._to_be_easy.htm
Алексей Морозов - автор Акторного Пролога:
https://www.cplire.ru/Lab144/start/r_actors.html
XSB
https://www.cs.sunysb.edu/~sbprolog/xsb-page.html

Вот краткое описание 42 Прологов (конечно не моё):
ALS Prolog
Applied Logic Systems, Inc обеспечивает полно-показанный, компилятор Пролога Эдинбургского стиля с GUI инструментами для Unix, Windows и платформ Макинтоша.
Amzi! Prolog https://www.amzi.com/download/index.htm
Amzi! Пролог + Логический Сервер - Эта расширяемая версия Пролога работает под Windows, Linux, Solaris и HP/UX, поддерживая развитие клиент-серверys[ приложений в сети, C/C ++, Яве, Delphi, Визуал-Бэйсик и других окружающих средах. IDE доступна для Windows, интерпретатор.
Arity Prolog
Компилятор и интерпретатор, написанный в Прологе, C и ассемблере и представлении супернабора Эдинбургского Пролога, окружающая среда программирования предлагается для Windows/NT.
Aquarius Prolog 1.0 Компилятор с открытым исходником, развит в UCB на основе Абстрактной Машины Беркли. Интерпретатор.
B-Prolog https://www.cad.mse.kyutech.ac.jp/peo...u/bprolog.html
B-Пролог - Свободная, компактная, полная CLP система, которая управляет Прологом и CLP (FD) программы. Эмулятор подобен SICSTUS-ПРОЛОГУ. Запускается в: FreeBSD, Linux, Solaris, SunOS, Unix, Windows 9x/NT/2000.
Babol Prolog Консольный компилятор. Все еще в стадии развития. Руководство, примеры, окно консоли - демонстрационный пример.
BinProlog   https://www.binnetcorp.com/BinProlog/obtain.html
BinProlog - BinNet Корпорация предлагает быстродействующую, здравую систему Пролога, способную произвести C/C ++ код и автономный executables и обеспечение организации сети высокого уровня наряду с безопасным программированием Интернета, объединенным с рассуждающими компонентами на основе правила(правления).
Brain Aid Prolog Brain Aid Prolog - основан на Edinburgh-Прологе и расширен объектно-ориентированными механизмами, Беркли-стиль, имеет открытый исходник, имеет компилятор, написанный в Прологе и генерит транспьютерный код.
Ciao Prolog Development System - Full ISO-Prolog   Полный ПРОЛОГ МЕЖДУНАРОДНОЙ ОРГАНИЗАЦИИ ПО СТАНДАРТИЗАЦИИ (ISO) послушная система, модульный проект позволяет ограничивать и расширять язык. Открытый исходник.
CMU Prolog Склад искусственного интеллекта университета Карнеги-Меллона предлагает коллекцию реализаций Пролога.
Сu-Prolog cu-Пролог - Пролог с ограниченной унификацией, развитый Институтом Технологии Компьютеров Нового поколения (ICOT), Японии. Первоначально написанный в C с Unix, MacCup для Макинтоша, DJCup для MS DOS. Свободно распространяется.
DGKS Prolog https://www.geocities.com/SiliconValley/Campus/7816/ EZY Prolog https://users.tpg.com.au/adsluwfl/vpstudio/index.htm
EZY Пролог - интерпретатор Пролога, совместимый с Визуал-Прологом, мощный синтаксический контроль с анализатором потока, GUI проектировщик для деклараций GUI, встроенные функциональные возможности для ODBC, Winsock, регулярных выражений, парсинга текста, XML обработка, HTML форматированных текстов Пролога. Свободное распространение.
GNU Prolog https://pauillac.inria.fr/~diaz/gnu-prolog/
Пролог GNU - Этот компилятор Пролог + программы с ограничением: бинарные термы. Полученный код впоследствии автономен. Размер этого кода может быть весьма маленьким, так как Пролог GNU может избежать линкование кода с неиспользуемыми встроенными предикатами.
IC-Prolog   IC ПРОЛОГ - Как часть Программного обеспечения Группы Логического Программирования государственной Коллегии, Эдинбургский стиль, мультитрединг, объектно-ориентированные слои, TCP интерфейс и другие особенности.
IF/Prolog   IF/Пролог - реализация Пролога для использования в индустриальных и коммерческих окружающих средах. Это исполняет Международную Организацию по Стандартизации стандарт Пролога и выполняется под WINDOWS и UNIX.
INRIA wamcc Предшественник к GNU Прологу. Компилит Пролог через GCC 2.x
JavaLog
Экспериментальный интерпретатор Пролога в Яве, смешивая Логику и OO парадигмы.
Jinni 2000   Ява-Машина вывода и Сетевого взаимодействия. Быстрый мультитрединг, организация сети и GUI позволили компилятор Пролога, расширяемый через Ява-интерфейс.
JIP
JIP - Ява Интернет Пролог - Пролог Совместимый с Явой интерпретатор. JDK1.1-и Эдинбург–версия Пролога, делает код, управляемый в любом апплете Явы или приложении и методах Явы, которые могут быть вызваны в любом Пролог-коде.
JProlog   https://www.cs.kuleuven.ac.be/~bmd/PrologInJava/ jProlog
jProlog - Экспериментальный Пролог для Ява компилятора, запускается на JDK 1.0.2 и выше.
K-Prolog   Это - английское Диалоговое Руководство для этого японского выполнения Пролога к Solaris, Л.С.-UX и окружающим средам Windows на 32 бита.
Kernel Prolog https://www.binnetcorp.com/kprolog/Main.html
Logtalk   Logtalk - объектно ориентированное расширение Пролога. Он объединяет программирование логики с ООП и программированием событий. Совместимый с большинством компиляторов Пролога. Открытые исходники.
LPA Win-Prolog https://alice.stup.ac.ru/~dvn/downloa...win_prolog.zip
MINERVA   MINERVA – реализация ISO Пролога в 100 % Яве. Расширяемый с любым классом Явы. Вызываемый как servlet, апплет, автономный, или библиотека класса Явы. Включает XML анализатор и генератор. Коммерческое распространение.
NU-Prolog   Преемник MU-ПРОЛОГА, эта компилируемая система Пролога, разработанная в середине 80-ых как 'более чистое' логическое решение, интерфейсы с UNIFY-базами данных, и доступен согласно академической лицензии.
Palm Toy Language   Игрушечный интерпретатор ПРОЛОГА для Palm. Первый ПРОЛОГ в PalmPilot.
Reform Prolog   Параллельная рекурсивная Программа, Многократные Данные (SPMD); допускает одонпоследовательный произвольный выч. процесс, фиксированное число параллельных процессов, которое может быть больше чем процессоров. Преемник: Erlang. Открытые исходники.
ProFIT - Prolog   ProFIT - Prolog - Пролог с Наследованием Особенностей, и Шаблонами: расширение Пролога с сортированными структурами (включая многомерное наследование), конечные домены, показывает поиск, циклические термы, шаблоны.
Qu-Prolog   Центр Объединённого Королевства по Исследованию и верификации Программного обеспечения расширил версию Пролога, в настоящее время выпущенного под Linux, и Solaris и предназначенную прежде всего как язык прототипирования и язык тактики для доказательства теорем, включая поддержку эффективного высокоуровневого программирования и логического программирования интерфейсных приложений.
Quintus Prolog   https://www.sics.se/isl/quintuswww/si...ationform.html
Шведский Институт научных вычислений на Прологе для UNIX и платформам PC, интегрируемый и коммерческий.
Sicstus Prolog https://www.sics.se/isl/sicstuswww/site/eval.html
SICStus Prolog 3 - Эта ISO, ориентированная на работу Пролога, также имеет интерфейсы с C/C ++, Явой и ODBC- системой управления базами данных и расширением ООП.
Strawberry Prolog   Этот компилятор Пролога для Windows 95/98/NT и Unix/Linux поддерживает OLE и Пролог CGI скрипты. Земляничный Пролог является подходящим для клиент-серверных приложений и имеет уникальные средства отладки. https://www.dobrev.com/download.html
SWI-Prolog https://www.swi-prolog.org/download.html
Устойчивое и свободное стандартное выполнение Пролога. Преследуемый прежде всего при исследовании и образовании. Windows, Linux и доступные версии Unix. Идет с визуальным отладчиком и GUI окружающей средой.
Trinc-Prolog https://www.trinc-prolog.com/pages/download.php3
Trinc-Пролог, объектно-ориентированный Пролог для Windows. Trinc-Пролог - новый инструмент развития для языка Пролога. Trinc-Пролог поддерживает Международную Организацию по Стандартизации стандарт Пролога и расширения языка Пролог. TPWIN, OO библиотека класса доступна, чтобы развить Windows-приложения.
tuProlog Основанный в Яве легкий Пролог для Интернет-приложений и инфраструктур, развитый в DEIS - Universita' ди Бологна. Свободное распространение.
Visual Prolog https://www.visual-prolog.com/
Полная среда программирования предлагается со всеми средствами обслуживания, необходимыми для разработки коммерческого продукта. Версия свободно распространяемого обеспечения доступна.
W-Prolog   Этот простой интерпретатор для Пролог-подобного языка написан на Яве. Хотя не быстро выполнение чрезвычайно портативно и может управляться как апплет под Способными к Яве web-браузерами.
WIN-PROLOG, DOS-PROLOG, MacProlog32
WIN-ПРОЛОГ, DOS-ПРОЛОГ, MacProlog32 компиляторы. Диапазон изделий от Пролога ++ объектно-ориентированного расширения, до экспертных систем, и различных web - технологиях. Коммерческое распространение.
xVisor https://xvisor.dirinfo.net/html/download.html
YAP Prolog System   Университет в Порто Эдинбургского стиля, WAM-ОСНОВАННЫЙ движок Пролога доступен на машинах на 32 бита, управляющих Sun и Linux и Альфами на 64 бита, управляющими OSF UNIX и Linux. Открытые исходники.

[Profesor08]

Дабы не *бать себе мозг я остановился на университетском варианте - Turbo Prolog 2.0. Препод по нему примеры строчит и тд. Радует, что не обязательно все писать на прологе.

[Mr.Kernighan]

Писал на SWI Prolog/е, достаточно удобный, но язык хамно.