对于一项作业，我们必须编写 Python 代码来对命题逻辑 KB 执行解析。
所有代码似乎都可以正常工作，除了recursive_print_proof. 运行程序时，它将一直运行，直到您告诉它停止。
它应该做的是根据分辨率输出一个证明。但是，它似乎陷入了一个循环。
希望任何人都可以帮助我。
recursive_print_proof几乎可以在最后找到。我的代码是：
def recursive_print_proof(idx, clause_set):
kb = init()
if contains_empty_clause(kb):
inferred = []
for i in range(len(kb)):
for j in range(i,len(kb)):
if can_resolve(kb[i],kb[j]):
resolvent = resolve_clauses(kb[i],kb[j])
inferred.append(resolvent)
if clause_set[idx].equals(resolvent):
idx2 = find_index_of_clause(kb[j],clause_set)
recursive_print_proof(idx2,clause_set)
idx2 = find_index_of_clause(kb[i],clause_set)
recursive_print_proof(idx2,clause_set)
# printing
clause_set[idx].print_clause()
print(" is inferred from", end=" ")
kb[i].print_clause()
print(" and", end=" ")
kb[j].print_clause()
print(".")
break
break
break