c-cube / datalog

An in-memory datalog implementation for OCaml.

Home Page:https://c-cube.github.io/datalog

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

c-cube/datalog Stargazers