for i in path: print(rules[i].name) # 解句法分析问题,输出match goal.json的图(可视化成图片) print("------------") print("Solution for 句法分析") question = Reader.questionToGraph( "examples/parsing/instances/trivial1.json") rules = Reader.rulesToRules("examples/parsing/rules.json") goal = Reader.goalToRule("examples/parsing/goal.json") (goalGraph, path) = bfs(question, rules, goal) if len(path) > 0: # 搜索到了match goal.json 的图 print("rules applied are (in order):") for i in path: print(rules[i].name) print("调用Writer将结果保存至examples/parsing/result.json") print("使用check_and_visualize.py可得可视化结果") # 使用check_and_visualize.py生成结果的图片 Writer.graphToJson(goalGraph, "examples/parsing/instances/result.json") os.system( "python3 utils/check_and_visualize.py parsing --instance instances/result.json" ) # 为了比较,使用check_and_visualize.py生成问题的图片 os.system( "python3 utils/check_and_visualize.py parsing --instance instances/trivial.json" )