日韩欧美亚洲 _ 欧美亚洲一区 _ 日本亚洲欧美 _ 亚洲精品欧美国产白袜脚足J棉袜在线观看_亚洲熟妇av一区二区三区_久久天天躁狠狠躁夜_精品众筹模特私拍在线

填空題

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

答案：最一般合一

你可能感興趣的試題

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

答案：純文字

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

答案：隨機(jī)性