Цитата Сообщение от Manwe Посмотреть сообщение
И не понимаю, что должен выдать Пролог
Зависит от того, что он считает переменной. Судя по документации, можно предположить, что переменными он считает только латинские буквы от A до Z, то есть однобуквенные слова на латинице. Тогда кроме I = Я должны выдаться другие русские слова, которые переводятся на английский как me, myself, ego (если они есть в списке фактов).

Вообще, насколько я помню, в большинстве реализаций, переменные - это любые слова, начинающиеся с заглавной латинской буквы. Чтобы такое слово не считалось переменной, его нужно писать в кавычках.