A tutorial on using OCanren, the typed embedding of miniKanren in OCaml.
The terminology of this tutorial follows that of the OCaml Reference Manual , unless otherwise defined, and to which the reader shall already be familiar.
Acknowledgment I would like to thank Dmitri Boulytchev and Iris Yuping Ren for commenting on the draft.