CxProlog

CxProlog — является свободно распространяемой реализацией языка Prolog, основан на WAM и поддерживает ISO Prolog и Edinburgh Prolog диалекты.

Кроме этого включает следующие нестандартные особенности:

• модули (подобны модулям Modula-2)
• существуют обязательные механизмы
• поддержка циклических термов
• интерактивный отладчик
• наличие Java и WxWidgets интерфейсов
• поддержка юникода
• потоки

CxProlog маленький и управляемый, и как следствие быстрый компилятор, но может обеспечивать интерфейс интерпретатора. Реализован на языке C.