cozodb / cozo

A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
https://cozodb.org
Mozilla Public License 2.0
3.24k stars 92 forks source link

Nested binding/matching #247

Open andrewbaxter opened 4 months ago

andrewbaxter commented 4 months ago

I'm not sure if that's the right way to describe it, but roughly something like

{?[state, year] := *hos{state:state, year:[year, true]}}

instead of

{?[state, year] := *hos{state:state, year:year_}, last(year_), year = first(year_)}

would be very convenient while working with tuples/validities.