GNU Prolog
Реализация языка программирования PrologGNU Prolog — компилятор языка Prolog, распространяющийся по лицензии GNU GPL, производительность которого сравнима с коммерческими компиляторами (по скорости совсем немного уступает SICStus Prolog). Является реализацией диалекта ISO Prolog.
Некоторые особенности GNU Prolog
- соответствует стандарту ISO Prolog (целочисленная/плавающая арифметика, потоки, динамический код, исключения)
- индексация выражений
- множество расширений (глобальные переменные, поддержка выражений DCG, поддержка сокетов, интерфейс операционной системы)
- более 300 встроенных предикатов
- отладчик и низкоуровневый WAM отладчик
- сильный двунаправленный интерфейс между Prolog и C
- компилятор генерирующий автономные исполняемые программы
- простой компилятор из командной строки, обрабатывающий большое количество файлов: файлы Prolog, C файлы, файлы WAM и другие
Поддерживаемые платформы
- ix86 / GNU/Linux
- ix86 / Win32 использующий Cygwin
- ix86 / Win32 использующий MinGW
- ix86 / Win32 использующий MSVC++
- ix86 / SCO
- ix86 / Solaris
- ix86 / FreeBSD
- ix86 / OpenBSD
- ix86 / NetBSD
- ix86 / Darwin (Mac OS X)
- x86_64 / GNU/Linux
- PowerPC / GNU/Linux
- PowerPC / Darwin (Mac OS X)
- PowerPC / NetBSD
- sparc / SunOS (4.1.3 or higher)
- sparc / Solaris
- sparc / NetBSD
- alpha / GNU/Linux
- alpha / OSF1
- mips / irix
Комментарии
]]>blog comments powered by Disqus
]]>