Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
Primary LanguageJavaApache License 2.0Apache-2.0