implementation of datalog (without negation, and semi-naive bottom-up evaluation) in C++
work-in-progress
not yet alpha!
| Name | Name | Last commit date | ||
|---|---|---|---|---|
implementation of datalog (without negation, and semi-naive bottom-up evaluation) in C++
work-in-progress
not yet alpha!