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 rela…

Check out https://github.com/c-cube/choice . It’s based on the LogicT library/paper (worth a read), which is closely related to miniKanren. The ideas are similar in that you construct nondeterministic programs by manipulating streams of solutions.

For a minimal typed μKanren implementation you can have a look at rel a more powerful implementation is provided by ocanren (but wanders a bit too much on the Obj side for my taste).

+1 for OCanren . As a committer to this project I’m curious about opinion of third-party users.

Tools for logic programming in OCaml

Ecosystem

th3rac25 June 13, 2018, 9:21pm 4

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

Topic		Replies	Views
[ANN] Logical: logic programming framework inspired by microKanren (0.1.0) Community announce	10	2237	March 19, 2019
[ANN] SWIPl-OCaml v0.5 - Never write your own unification algorithms again! Community announce , type-system , bindings	9	2441	December 9, 2021
Resource request: dsls via ppx? Learning	9	715	April 3, 2023
Discussion of a sentence on OCaml wikipedia page Community	8	588	October 27, 2025
Use cases motivating new directions in Raven Community	0	213	July 15, 2025

Tools for logic programming in OCaml

Related topics