小编uni*_*fun的帖子

我正在开发(在Java中),为了好玩,一个使用统一算法的应用程序.

我选择了我的统一算法返回所有可能的统一.例如,如果我试着解决

add(X,Y)= succ(succ(0))

它返回

{X = succ(succ(0)),Y = 0},{X = succ(0),Y = succ(0)},{X = 0,Y = succ(succ(0))}

但是,在某些情况下,存在无数个可能的统一(例如,X> Y =真).

有人知道算法是否允许确定是否可能遇到无限数量的统一？

提前致谢