opam on Github

logicalversion
0.3.0 (latest)

Logical is a minimalistic logic programming inspired by microKanren

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
AuthorRobert Toth
LicenseMIT
Published
Homepagehttps://github.com/StrykerKKD/Logical
Issue Trackerhttps://github.com/StrykerKKD/Logical/issues
MaintainerRobert Toth <kkdstryker@gmail.com>
Dependencies
Source [http] https://github.com/StrykerKKD/Logical/archive/0.3.0.tar.gz
md5=4a0151793a727ac01be0f223de7d038c
sha512=34c1d903854dfc24f43759ada3cf36eb2e979d37ec3a06094a6065442e958f7a756b911517672a4d30d7bf6bd74232ff30222e330ae1195a580394ee531ba905
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/logical/logical.0.3.0/opam
No package is dependent
Generated using opam2web, courtesy of OCamlPro. Commercial support.