Выезд XProlog . Он очень легкий и предлагает компилятор и DLL-библиотеку времени выполнения (размером 30 КБ). Полный исходный код доступен на GitHub, который полностью протестирован модулем. Хотя в настоящее время в нем отсутствуют некоторые базовые функции Prolog, такие как списки, он позволяет создавать функциональные программы и даже поддерживает определенные грамматики предложений. Компилятор XProlog написан на XProlog и компилируется сам.
Отказ от ответственности: я являюсь автором XProlog. Мне потребовалось 4 месяца, чтобы написать его, и он был написан для задачи, которая у меня тогда была под рукой, а сейчас она просто сидит на GitHub и ждет других замечательных задач. Надеюсь, вы найдете это полезным: