97免费在线观看视频,亚洲综合自拍网,黄色毛片免费观看,热久久综合网,免费看日产一区二区三区狠狠操av,久久久涩涩涩,在线精品免费视频,人人插天天干,久久91精品国产91久久

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

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

填空題

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

答案：最一般合一

你可能感興趣的試題

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

答案：純文字

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

答案：隨機性