package OCanren-ppx

  1. Overview
  2. Docs
Implementation of miniKanren relational (logic) EDSL: PPX extensions

Install

Dune Dependency

github.com Readme Changelog LGPL-2.1 License Edit opam file Versions (4)

Authors

  1. D
    Dmitrii Kosarev https://github.com/Kakadu
  2. J
    JetBrains Research https://research.jetbrains.org

Maintainers

  1. D
    Dmitrii Kosarev Kakadu@pm.me

Sources

0.3.0.tar.gz
sha256=eaf9624bbdbae8050eb43a48c0e79e97160b83b6f65a543ee1beca4c9f4ff4b2
sha512=e55dd7a3026b1dedcd37f55181059dfa44ad6976d241a1199246ee3c1684dcfdf1ae0c1da32165b5b2eb5748cfc57c906a0f0ebab56d03035a5bb87187a63cf7

README.md.html

README.md

OCanren is a strongly-typed embedding of relational programming language miniKanren into OCaml. Nowadays, the implementation of OCanren strongly reminds faster-miniKanren. Previous implementation was based on microKanren with disequality constraints.

See installation instructions, API documentation for more details, and ReadTheDocs for detailed information.

Check our template repository for OCanren projects for faster startup!

Installation

OCanren is available in main OPAM repository

  opam install OCanren --yes

To try out developer version use

  opam pin add OCanren --dev-repo --yes