无码高清视频|成人自拍视频|欧美成人午夜无码A片秀色直播|草美女视频网站|美女被操网站在线观看

<sup id="g6b0i"></sup>

<em id="g6b0i"></em>

填空題

合一算法：求非空有限具有相同謂詞名的原子公式集的（）。

答案：最一般合一

你可能感興趣的試題

在刪除策略歸結(jié)的過程中刪除以下子句：含有（）的子句；含有永真式的子句；子句集中被別的子句類含的子句。

答案：純文字

不確定性類型按性質(zhì)分（），模糊性，不完全性，不一致性。

答案：隨機性