toy-datalog/CHANGELOG.md

# 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.
Initial commit with basic datalog parser and abstract syntax 2026-01-12 16:10:51 -05:00			`# Revision history for toy-datalog`

Update changelog 2026-01-16 01:27:32 -05:00			`## 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.`
Fix parsing of constants (no longer allow empty string or uppercase start). Add a parser for conjunctive queries. Add some prettyprinters for the syntax. 2026-01-22 13:35:45 -05:00			`* Added some prettyprinters and a separate parser for conjunctive queries which we needed for the web frontend.`