小编use*_*625的帖子

我一直在使用chr库和jpl接口.我有一个普遍的询问.我将来自SWI Prolog的约束发送到我的CHR程序中的java类的实例.例如,如果输入约束是leq(A,B),则变量的名称消失,并且出现的变量名称以_G开头.即使我尝试在不使用界面的情况下打印leq(A,B),也会发生这种情况.似乎每当处理变量时,名称将被替换为新名称.我的问题是,是否有办法做回映射.例如,是否有办法知道_G123对应于A等等.非常感谢你.

是否可以对SWI Prolog的顶层进行修改？