2个版本

0.1.1 2024年7月25日
0.1.0 2024年6月11日

#848 in 编程语言

Download history • Rust 包仓库 132/week @ 2024-06-08 • Rust 包仓库 19/week @ 2024-06-15 • Rust 包仓库 3/week @ 2024-06-22 • Rust 包仓库 25/week @ 2024-06-29 • Rust 包仓库 108/week @ 2024-07-20 • Rust 包仓库 48/week @ 2024-07-27 • Rust 包仓库

每月177次下载

Apache-2.0

45KB
912

mangle_ast

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

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

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

依赖关系

~3.5–5MB
~87K SLoC