# 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:** 1

<div class="post-metadata">

**Author:** ![egoholic](https://sea2.discourse-cdn.com/flex020/user_avatar/discuss.ocaml.org/egoholic/32/574_2.png) [@egoholic](https://discuss.ocaml.org/u/egoholic)\
**Post date:** [June 11, 2018, 9:19pm UTC](https://discuss.ocaml.org/t/tools-for-logic-programming-in-ocaml/2126/1 "2018-06-11T21:19:49Z")

</div>

I have no experience with logic programming (LP) and I have no time and reason to learn Prolog or other language that are canonical in the area of LP. By the way I’m very interested in the topic of LP and related paradigms. Could you please mention some OCaml libraries for logic programming and related things?

---

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