- 博客(18)
- 资源 (1)
- 收藏
- 关注
原创 一阶谓词归结逻辑
import copyimport osimport sysS = []P=[]V={}M={}M[0]='a'M[1]='b'M[2]='c'M[3]='d'M[4]='e'cot=1def readFile(filePath): global S global cot for line in open(filePath,encoding = 'utf-8'): line = line.replace(' ', '').strip() .
2022-04-06 20:19:11 677 1
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人