wernsey/Jatalog

Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation

语言：Java · GitHub 星标：83 · Fork：10

话题：datalog · datalog-engine · evaluation-engine · logic-programming

在 GitHub 上查看原仓库