Описание тега gnu-prolog
GNU Prolog - это совместимый с ISO диалект Пролога, разработанный Даниэлем Диазом. GNU Prolog имеет ограничения по конечным доменам, создает собственные двоичные файлы и обеспечивает двунаправленный интерфейс с C.
GNU Prolog - это совместимый с ISO диалект Пролога, разработанный Даниэлем Диазом.
В дополнение к традиционной функциональности Пролога, GNU Prolog поддерживает решение ограничений в конечных доменах. Кроме того, GNU Prolog создает собственные двоичные файлы и предоставляет мощный двунаправленный интерфейс с C.
Он обнаруживает очень чистую архитектуру на основе WAM, предоставляя доступ к промежуточному языку как на уровне байт-кода, так и на уровне C.