moonlight0512的博客

1.命题逻辑的归结推理编写函数ResolutionProp实现命题逻辑的归结推理。该函数要点如下：输入为子句集（数据类型与格式详见课件），每个子句中的元素是原子命题或其否定输出归结推理的过程，每个归结步骤存为字符串，将所有归结步骤按序存到一个列表中并返回，即返回的数据类型为list[str]一个归结步骤的格式为步骤编号R[用到的子句编号] = 子句。如果一个字句包含多个公式，则每个公式用编号a,b,c…区分，如果一个字句仅包含一个公式，则不用编号区分.（见课件和例题）

1] 为什么 Python 这么慢？