implementation of datalog (without negation, and semi-naive bottom-up evaluation) in C++
work-in-progress
not yet alpha!
{{ message }}
implementation of datalog (without negation, and semi-naive bottom-up evaluation) in C++
work-in-progress
not yet alpha!