标签： rule-engine isabelle business-rules
Isabelle是寻找证据的证据助手，例如2 + 3 = 5。但是是否有可能用它来获取问题2 + 3 =？的答案，例如，在fowrard链接模式下进行推理，类似于生产规则，Rete算法，前向序列应用等。