【文件属性】：
文件名称：使用类似PROLOG的逻辑求解器实现Rust特质系统的实现和定义-Rust开发
文件大小：733KB
文件格式：ZIP
更新时间：2021-05-27 18:19:20
Rust Utilities
使用类似于PROLOG的逻辑求解器粉笔Chalk的Rust特征系统的实现和定义是一个基于Prolog-ish逻辑规则实现Rust特征系统的库。
有关更多信息，请参见粉笔书。
常问问题粉笔与rustc有何关系？
计划是让rustc使用粉笔溶解的板条箱（在此仓库中）来回答有关Rust程序的问题，例如，“ Does Vec
在内部，粉笔将Rust特定的信息转换为逻辑，并使用逻辑引擎找到原始查询的答案。有关更多详细信息，请参见以下说明