mangle_ast

本包是Mangle逻辑编程语言的一部分。它包含与程序评估相关的代码。

"朴素评估"指的是通过应用规则从现有事实中推导出事实，直到不再生成新事实的方法。

有关Mangle的更多信息，请参阅 https://github.com/google/mangle。