Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
Stars
80
Forks
9
Watchers
80
Open Issues
2
Overall repository health assessment
No package.json found
This might not be a Node.js project
49
commits
Split the engine off into a separate Engine class and reorganised the code into more specialised packages.
3b7eca5View on GitHubSome more unit tests, including whether the output of toString() can be parsed back in.
b4d7eecView on GitHubThe details of the built-in predicates and the retract query were in the wrong place in the README
ac25053View on GitHubAdded a help and a timer command to the shell and fixed the command parser.
10aa066View on GitHubAdded an optimization where, in expandStrata() the variable newFacts is now an instance of `IndexedSet`.
2f00183View on GitHubChanged the syntax of the delete statement to <query>~
20c7208View on GitHubgetRelevant() rules has now been renamed to getRelevantPredicates().
1704b52View on GitHub