Перейти до вмісту

GNU Prolog

Матеріал з Вікіпедії — вільної енциклопедії.
GNU Prolog
ТипCompiler
АвторDaniel Diazd[1] Редагувати інформацію у Вікіданих
РозробникДаніел Діас[2]
Стабільний випуск1.5.0 (8 липня 2021; 5 років тому (2021-07-08))
Операційна системаLinux, Solaris, Windows, BSD, Mac OS X
Мова програмуванняC
Стан розробкиактивний
ЛіцензіяGNU General Public License v2 (or above) or GNU Lesser General Public License v3 (or above) or both in parallel
Онлайн-документаціяgprolog.org/manual/gprolog.html​(англ.) Редагувати інформацію у Вікіданих
Репозиторійhttps://github.com/didoudiaz/gprolog
Вебсайтgprolog.org

GNU Prolog (також званий gprolog) — компілятор, розроблений Даніелем Діасом, який включає інтерактивне середовище для налагодження Prolog. Доступне на Unix, Windows, Mac OS X та Linux. Він також підтримує певні розширення для Prolog, включаючи програмування в обмеженнях над скінченним доменом, розбір з використанням граматики визначених тверджень та інтерфейс операційної системи.

Компілятор на основі вихідного коду програми створює байт-код, який може бути інтерпретований абстрактною машиною Воррена(інші мови) (WAM) і будує з нього окремі виконувані файли.

Див. також

[ред. | ред. код]

Посилання

[ред. | ред. код]
  1. ↑ https://cri-dist.univ-paris1.fr/diaz/publications/cv-short.html
  2. ↑ Daniel Diaz's Home Page.

Зовнішні посилання

[ред. | ред. код]