我需要用 Python 编写一个专家系统（这是我第一次这样做）。我必须实现一个大流程图，它依赖于渐进式用户输入，即用户在流程图的许多点提供输入。在python中，我见过像PyKE这样的知识库和推理规则系统；但是，我不明白这样的系统（类 Prolog）是否会帮助我处理许多 GUI 窗口向用户提出许多问题的过程，或者最好手动对其进行编程。
我应该使用像 PyKE 这样的系统吗？
假设我有事实档案:
code_in_git(a)
code_in_git(b)
code_in_git(c)
build_on_disk(a)
build_on_disk(c)
我想断言规则" if code_in_git($ branch)而不是build_on_disk($ branch),创建fact needs_build($ branch) ".我怎样才能做到这一点？