一个寻找最一般一致替换的树型算法(英文)

摘要

基于表达式的树形表示 ,我们提出了一种关于寻找一个有限表达式集的最一般一致替换(mgu)的树形算法。与原算法相比 ,算法比较直观而且有效。