题目内容
（请给出正确答案）
[判断题]
合一算法是求非空无限具有相同谓词名的原子公式集的最一般合一。（)
答案
查看答案
重要提示：请勿将账号共享给其他人使用，违者账号将被封禁！
查看《购买须知》>>>
请输入或粘贴题目内容
搜题
拍照、语音搜题，请扫码下载APP
题目内容
（请给出正确答案）
答案
更多“合一算法是求非空无限具有相同谓词名的原子公式集的最一般合一。()”相关的问题
第2题
判断以下公式对是否可合一；若可合一，则求出最一般的合一： (1)P(a，b)，P(x，y) (2)P(f(z)，b)，P(y，x) (3)P(f(z)，y)，P(y，f(a)) (4)P(f(y)，y，x)，P(x，f(a)，f(b)) (5)P(x，y)，P(y，x)
第3题
判断以下公式对是否可合一；若可合一，则求出最一般的合一： (1)P(a，b)，P(x，y) (2)P(f(z)，b)，P(y，x) (3)P(f(z)，y)，P(y，f(a)) (4)P(f(y)，y，x)，P(x，f(a)，f(b)) (5)P(x，y)，P(y，x)
