Я использовал библиотеку chr вместе с интерфейсом jpl. У меня есть общий запрос, хотя. Я отправляю ограничения из пролога SWI в экземпляр класса Java из моей программы CHR. Дело в том, что если входное ограничение, например, leq (A, B), имена переменных пропали, а имена переменных, которые появляются, начинаются с _G. Это происходит, даже если я пытаюсь напечатать leq (A, B) без использования интерфейса вообще. Кажется, что всякий раз, когда переменная обрабатывается, имя заменяется новым. У меня вопрос, есть ли способ сделать отображение обратно. Например, есть ли способ узнать, что _G123 соответствует A и так далее. Большое спасибо.