GNU Prolog

GNU Prolog
Тип

Компілятор

Розробник

Daniel Diaz

Написана на

C

Операційна система

Linux, Solaris, Windows, BSD, Mac OS X

Остання версія

1.4.1 ( 29 червня 2012)

Ліцензія

GPL V2

Сайт

www.gprolog.org

GNU Prolog (gprolog) - компілятор мови програмування Пролог, розроблений Daniel Diaz з вбудованим інтерактивним відладчиком. [1] Доступний для Unix, Windows і Mac OS X. Підтримує розширення мови Програмування в обмеженнях над кінцевими множинами, роботу з файлами за допомогою граматик, побудованих на певних пропозиціях (DC-граматик). Також надає інтерфейс до операційної системи.

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


Примітки

  1. A Complete Guide to Computer Fundamentals - Sudipto Das - Google Книги - books.google.ru / books? id = hq-jN_nixE8C & pg = PA142 & lpg = PA142 & dq = gnu prolog