Description

Logical is a minimalistic logic programming inspired by microKanren, which is

  • Simple implementation with only a few building blocks
  • Easy to understand and use
  • Supports negation free constraint logic programming

Published: 10 Feb 2020

Dependencies (5)

  1. ocaml >= "4.04.2"
  2. base >= "0.12.0"
  3. odoc with-doc
  4. alcotest with-test
  5. dune

Reverse Dependencies

    None

Conflicts

    None
Logical is a minimalistic logic programming inspired by microKanren

Install

Documentation github.com Readme MIT License Edit opam file

Authors

  1. R
    Robert Toth

Maintainers

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

Sources

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