package logical

  1. Overview
  2. Docs
Logical is a minimalistic logic programming inspired by microKanren

Install

Dune Dependency

Authors

Maintainers

Sources

0.3.0.tar.gz
md5=4a0151793a727ac01be0f223de7d038c
sha512=34c1d903854dfc24f43759ada3cf36eb2e979d37ec3a06094a6065442e958f7a756b911517672a4d30d7bf6bd74232ff30222e330ae1195a580394ee531ba905

doc/index.html

logical

API

Library logical

OCaml

Innovation. Community. Security.