GitHub repository: wernsey/Jatalog
Primary language: Java
Description: Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation