[问题描述]
编程实现表达式合一算法,对任意两个表达式E1、E2,找出其最一般合一s
[测试数据]
输入表达式:
E1 = P (x, f (x), g (z) ) E2 = P (y, f ( g (b) ), y )
输出结果:
s = { g(b)/x , g(b)/y , b/z }
[实现提示]
1.用广义表的结构存储表达式
例如:
表达式:E1=P(x,f(x),g(z))
表示如下:
(P x (f x) (g z))
表达式:E2=P(y,f(g(b)),y)
表示如下:</