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