mentat

History

Richard Newman b693385495 Part 5: eliminate is_known_empty in favor of empty_because and an accessor.		2017-04-07 12:46:26 -07:00
..
src	Part 5: eliminate is_known_empty in favor of empty_because and an accessor.	2017-04-07 12:46:26 -07:00
tests	Part 2: implement simple `or`.	2017-04-07 12:46:25 -07:00
Cargo.toml	Implement projection and querying. (#353 ) r=nalexander	2017-03-06 14:40:10 -08:00
README.md	Begin serializing queries to SQL. r=nalexander	2017-02-17 17:54:07 -08:00

README.md

This crate turns an algebrized Datalog query into a domain-specific representation of a SQL query, and then uses mentat_sql to turn that into a SQL string to be executed.

This subsumes both planning and query construction, because in Mentat the SQL query is effectively a query plan.