8 lines
444 B
Markdown
8 lines
444 B
Markdown
# Revision history for toy-datalog
|
|
|
|
## unreleased
|
|
|
|
* We have a basic parser and a very naive evaluator for datalog programs that can extend a database with all the facts which are immediate
|
|
consequences of the rules and the current (initially empty) relations, which can be iterated to a fixed point to produce all consequences.
|
|
* Added some prettyprinters and a separate parser for conjunctive queries which we needed for the web frontend.
|