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

sync
a(e).
d(t).
b(s, A) :- a(A), d(B).
b(s, A)?
----
----
A: "e"
----
---- (no newline)