问题描述
这是对关于非循环项的问题 here 的跟进。 我现在对循环术语感兴趣，似乎它们的统一 在 Wielemaker-Demoen 统一中不再是线性的。 测试用例基本上是：
?- X = f(f(X)),Y = f(f(f(Y))),X = Y.
X = Y,Y = f(f(f(Y))).
但是我们使用了大量的函数符号迭代，并且 我们还使用函数符号的 arity 2，而不仅仅是 arity 1。 对于 n=10,30,50,70 我得到这个二次行为，系列 1 是 (=)/2 和系列 2 的测量时间为 n*(n+1)/2:
是否有一些不可能性定理会说 循环项的统一不能是线性的。否则 循环项的统一可能也属于 帕特森-韦格曼统一，因此可以 线性化？
开源：
线性还是指数 III？
https://gist.github.com/jburse/279b6280ab4311de456e458a7386c1da#file-bart-pl
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）