Skip to content

Jengamon/arde

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

83 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Arde - Another Rust Datalog Engine

Just a Datalog thingy for Dataloggy stuff.

TODO Docs

Head to https://arde.pages.dev to test the solver, both the async solver, and the deprecated sync solver.

Version 0.2.0

This can be thought of as an alternate version of 0.1.8 that gets the async resolver (top-down) right.

It moves the interface to use all Send + Sync types, so if you want to run !Send or !Sync storages, use 0.1.8 nonasync for now. (For this reason, the web feature was removed)

Because of this switch of focus, I won't be updating the sync solver unless very necessary. The sync solver doesn't do well with sole factless negation. It cannot solve:

c :- not d.
c?

however, the async solver can.

Both can solve

b.
c :- not d.
c?

Note about tests

As they are, they aren't perfect, because the tests are sensitive to ordering and proof branching (while programs don't actually care), so actually read what the tests are saying, because both:

expected:
A: 30, 4
actual:
A: 4, 30

and

expected:
b("s") -> a("s").
actual:
NO PROOF

are equally marked as errors.

TRACING

Be incredibly careful about enabling tracing within this crate. The traces are noisy at the trace level (for the async runner). And will take a worst-case logic bomb like damn2_async.tdt from taking around 10s on a M1 Macbook, to over a minute.

Basically, until the tracing is denoised, always use an env-filter and don't use arde at the trace level, unless you want to have the logical process dumped at you in trace form.

About

Another Rust Datalog Engine (is buggy)

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published