Implement datalog for hoon

Datalog is a query language that has been used to great effect in projects like datascript, datomic and recently a reimplementation of datomic in rust. I suggest that we do so in Hoon. We have many deeply nested datastructures that having a uniform library to express queries over (as opposed to the variety of dsls hoons core library offers for each type) should be quite powerful.

Details

Started
February 1st, 2020
Category
App dev: Arvo
Funding
4 STARS
1

Basic parser

Estimate: December 2019
Reward: 1 STARS
Write a basic parser for datalog.
2

Naive query execution

Estimate: December 2019
Reward: 2 STARS
Build an execution engine for the parsed queries, proof of concept is the goal at this stage not performance.
3

Integrate with gall

Estimate: January 2020
Reward: 1 STARS
Either as an example app or if appropriate directly into gall as a filter for subscriptions.