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