package logical

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

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (2)

Authors

  1. R
    Robert Toth

Maintainers

  1. R
    Robert Toth <kkdstryker@gmail.com>

Sources

0.2.0.tar.gz
md5=1f088b0cc467619cd38a2538ec2d11b8
sha512=13ea13a7f1ba254a0468da65662f365c7ebc76e98896279735651f04707475e0fdc56895511ff8045a54a86fd0109a9cf4f98ed5b94b871fddd6316ead72c601

doc/index.html

logical

API

Library logical