arde-0.1.7
Platform
Feature flags

docs.rs

Rust

arde 0.1.7

Another Rust Datalog Engine

Crate
Source
Builds
Feature flags

..
basic.tdt
basic_sync.tdt
flip.tdt
flip_constant.tdt
flip_constant_sync.tdt
flip_sync.tdt
match_constant.tdt
match_constant_sync.tdt
skip.tdt
skip_sync.tdt
task1.tdt
task1_sync.tdt
task2.tdt
task2_sync.tdt
task3.tdt
task3_sync.tdt
task_flip.tdt
task_flip_sync.tdt

async
a(3).
a(3)?
----
----
a(3)
----
---- (no newline)