Tools for logic programming in OCaml

Ecosystem
,
4

Also https://github.com/c-cube/datalog, a Datalog implementation

2 Likes