K-Prolog

Реализация языка программирования Prolog

K-Prolog — реализацией языка Prolog поддерживающая диалект
ISO Prolog. Разрабатывается японскими разработчиками и на данный момент практически не содержит документации не на японском языке.