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"
)
