Logic 是一个基于等价图的现代 结构性逻辑 库。它允许将 (基于项的) 语言 定义为一个与 重写规则 相关联的抽象语法树 (AST)，这些规则表示 等价关系。通过基于等价饱和的三阶段过程应用规则。

注意：这是一个探索性项目。

当前状态

• 公共 API 不断演变，预计在稳定版本发布（x.0.0）之前会有重大变化。
• 请随时提出可能有助于改进库的问题，并提供实际用例。
• 欢迎提供帮助。

入门

目前正在构建一个详尽的教程，但您仍然可以阅读最新版本的 文档 或浏览源代码。

建议使用 nightly Rust，但 Logic 应能在 stable（MSRV 1.69）上构建。提供标准 cargo fmt、clippy、test 和 bench 工作流程。

尝试在 WebAssembly 上运行的 网络演示。

• 网站
• 博客
• 教程
• 引用