datalog

See #1029

It would be great to do a somewhat rigorous analysis of whether there are performance issues when query is written in Logica vs SQL.

The hitchhiker-tree has recently gained garbage collection support, but this still needs to be added to Datahike.

replikativ/hitchhiker-tree#16

Adding it requires to do a mark phase on all the indices of the database and then add all DB metadata keys before running the konserve sweep! phase.

At some point we should probably upgrade the argument parser to use nom version 5. They got rid of most of the macro magic. I am not familiar with nom (although interested), but there is an upgrade guide that should hopefully make the transition a bit more smooth: https://github.com/Geal/nom/blob/master/doc/upgrading_to_nom_5.md

This issue serves as place to note candidate projects (via url), which might be added to the list.

Update (2022-01-29): I initially planned to use this issue as a public place to note down candidates to add them by later myself. Now, I try to ping people involved in those projects. Benefits:

• Information added is more accurate
• People get to know of this list
• Saves time for me

Update:

An inspect stage logging either actual tuples or number of tuples flowing through a given plan stage.

add x86_68-darwin to allow building with macos