from Program import Program from Relation import Relation from Infer import Infer #Doc file input fp = input('Nhập tên file input: ') f = open(fp, 'r') f1 = f.read().splitlines() KB = [] I = [] questions = [] flag = 0 for x in f1: if x == '*': flag += 1 continue if flag == 0: temp = Relation(x) KB.append(temp) elif flag == 1: temp = Infer(x) I.append(temp) else: questions.append(x) f.close() main = Program(KB, I) main.run() #main.printKB() main.writeAnswer(questions)