文件名称：Rust中的简单序言实现-Rust开发
文件大小：28KB
文件格式：ZIP
更新时间：2024-06-16 14:37:34
Rust Utilities
Rust中的简单Prolog实现。Rust中的简单Prolog。Rust中的简单Prolog实现。 交互示例：$ cargo run在0.03s内完成dev [unoptimized + debuginfo]目标。运行target / debug / prolog> edge（x，y）。 >边（y，z）。 >边（y，w）。 >>路径（A，A）。 >路径（A，B）：-边缘（A，X），路径（X，B）。 >>路径（x，位置）？ 解决方案：Place = x（）？ ; 解决方案：Place = y（）？ ; 解决方案：Place = z（）？ ; 解决方案：Place = w（）？ 是的。 再见！ TODO更多数据类型：数字（仅整数？还是
【文件预览】：
prolog-main
----.gitignore(8B)
----src()
--------parser.rs(7KB)
--------builtins.rs(12KB)
--------main.rs(2KB)
--------error.rs(2KB)
--------parser.lalrpop(4KB)
--------context.rs(9KB)
--------vars.rs(10KB)
--------unify.rs(10KB)
--------runner.rs(3KB)
----.cargo()
--------config.toml(90B)
----Cargo.lock(22KB)
----LICENSE(1KB)
----Cargo.toml(566B)
----sudoku.pl(2KB)
----README.md(2KB)
----build.rs(75B)