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