1. Краткая справка
GNU Prolog - интерпретатор и компилятор программ на языке Пролог (с расширениями), отладчик программ на Прологе, строковый редактор, решатель.
2. Область применения/класс моделей
логическое программирование, экспертные системы, обработка естественных языков, символическая обработка выражений, решатели, прочие задачи ИИ
3. Платформа
Win32, Win64, GNU Linux, FreeBSD, OpenBSD, NetBSD, Darwin, Solaris, SunOS, OSF/1, Mac OS
IA-32, IA-64, Alpha, MIPS, SPARC, PowerPC
4. Доступность
4.1. Лицензия / условия распространения
GNU GPL/бесплатная с открытыми исходными текстами
4.2. Адрес сайта системы
4.3. Адрес дистрибутива
4.3.1. Страница дистрибутивов. http://www.gprolog.org/#download
4.3.2. Пакет с исходными текстами. http://www.gprolog.org/gprolog-1.4.0.tar.gz
4.3.3. Дистрибутив для Win32. http://www.gprolog.org/setup-gprolog-1.4.0-msvc-x86.exe
5. Язык системы
Пролог в стандарте ISO с расширениями:
1) глобальные переменные,
2) интерфейс к функциям ОС,
3) интерфейс к Си программам.
6. Средства визуализации
В самом GNU Prolog отсутствуют. Реализованы как отдельные IDE для GNU Prolog.
7. Развернутая справка
Проект основан в 1996 году.
8. Руководство по использованию на сервере приложений
На серверах приложений не установлен.
9. Каталог доступных примеров
-
10. Ссылки
1) Руководство по GNU Prolog. http://www.gprolog.org/manual/gprolog.pdf