有时问题的解，又可以称为（）。

设有置换集S，首先根据S构造U1、U2两个表达式，其中U1由置换集S中的所有被置换的变量组成，U2由与U1中的变量所对应的置换项组成。当U1、U2可以合一时，它们的mgu就是该置换集的（）。

A.合一复合
B.一致置换
C.一致解图
D.合一者

点击查看答案

基于规则的正向演绎系统的初始综合数据库是（）。

A.事实表达式的与或树
B.目标公式的与或树
C.与或树
D.证明树

点击查看答案