package logical

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

Install

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

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 (3)

  1. ocaml >= "4.04.2"
  2. base >= "0.12.0"
  3. dune

Dev Dependencies (2)

  1. odoc with-doc
  2. alcotest with-test

Used by

None

Conflicts

None