Introduction to Datalog
Can anyone recommend any implementation of Datalog (+ negation) that is not datomic?I haven't tried datascript, which appears to support negation. Maybe I will try that if/when I revisit this interest someday.