文件名称：datafrog:Rust中的轻量级Datalog引擎
文件大小：26KB
文件格式：ZIP
更新时间：2024-05-03 16:01:38
Rust
数据蛙 Datafrog是一种轻量级的Datalog引擎，旨在嵌入到其他Rust程序中。 Datafrog没有运行时，并依靠您来构建并重复应用更新规则。 它试图帮助您正确地做到这一点。 例如，这是使用Datafrog编写可访问性查询的方式（减去填充nodes和edges初始关系的部分）。 extern crate datafrog; use datafrog :: Iteration; fn main () { // Create a new iteration context, ... let mut iteration = Iteration :: new (); // .. some variables, .. let nodes_var = iteration. variable :: <( u32 , u32 )>( "nodes" );
【文件预览】：
datafrog-master
----.gitignore(320B)
----LICENSE-MIT(1023B)
----README.md(1KB)
----Cargo.toml(645B)
----examples()
--------graspan1.rs(2KB)
--------borrow_check.rs(5KB)
----RELEASES.md(842B)
----LICENSE-APACHE(11KB)
----src()
--------join.rs(6KB)
--------lib.rs(22KB)
--------map.rs(320B)
--------treefrog.rs(21KB)
--------test.rs(6KB)
----CODE_OF_CONDUCT.md(5KB)
----.travis.yml(220B)
----triagebot.toml(9B)