Prolog Wielemaker-demen统一的非线性

这是关于非循环术语问题的后续问题。 我现在对循环项很感兴趣，似乎它们是统一的 在Wielemaker Demoen统一中不再是线性的。 测试用例基本上是：

?- X = f(f(X)), Y = f(f(f(Y))), X = Y.
X = Y, Y = f(f(f(Y))).

但是我们使用了大量的函数符号迭代，并且 我们还使用函数符号的算术2，而不仅仅是算术1。 对于n=10,30,50,70，我得到了这个二次型行为，序列1是 （=）/2和系列2的测量时间为n*（n+1）/2：

有没有什么不可能定理会这样说 循环项的统一不能是线性的。否则 循环项的统一是否也会受到限制 Patterson-Wegman统一，因此可以 是线性的吗

开源：

线性或指数III？

---

循环术语是一个缺陷。启用发生检查。Marteilli和Rossi注意到Colmerauers统一对循环项有二次情况，但他们声称自己的算法是线性的。