GNU Prolog

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. Адрес сайта системы

http://www.gprolog.org/

 

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