Java Datalog Engine with Semi-Naive Evaluation and Stratified Negationgithub.com/wernsey2 pointstosh8 years ago