Имена переменных в SWI Prolog

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