Помню, что где-то здесь есть апологеты SWI-Prolog'а, хочу задать свой вопрос в первую очередь им. В документации к XPCE говорится, что эта библиотека кроссплатформенна и, что важно, не привязана к Прологу. Однако я так и не смог найти ту самую «XPCE/C++», а в бинарных поставках SWI-Prolog'а также нет ничего похожего. Собрать не осилил, по крайней мере под оффтопик. (А еще где-то должна быть XPCE/Lisp). У кого-нибудь есть истории успеха?