# Tools for logic programming in OCaml

**URL:** <https://discuss.ocaml.org/t/tools-for-logic-programming-in-ocaml/2126>\
**Category:** Ecosystem\
**Tags:** logic, logic-programming\
**Created:** [June 11, 2018, 9:19pm UTC](https://discuss.ocaml.org/t/tools-for-logic-programming-in-ocaml/2126 "2018-06-11T21:19:49Z")\
**Posts on this page:** 1\
**Showing post:** 4

<div class="post-metadata">

**Author:** ![th3rac25](https://avatars.discourse-cdn.com/v4/letter/t/ccd318/32.png) [@th3rac25](https://discuss.ocaml.org/u/th3rac25)\
**Post date:** [June 13, 2018, 9:21pm UTC](https://discuss.ocaml.org/t/tools-for-logic-programming-in-ocaml/2126/4 "2018-06-13T21:21:56Z")

</div>

Also [https://github.com/c-cube/datalog](https://github.com/c-cube/datalog), a Datalog implementation

---

_[View the full topic](https://discuss.ocaml.org/t/tools-for-logic-programming-in-ocaml/2126)._