opam on Github

logicalversion
0.1.0

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.1.0.tar.gz
md5=3c3aa6e862291cc6f795ddbd2a376532
sha512=047082b4fee77366a6e94d345a81749195b2c30e1d308c33f89f59ceb02b00ba32218ac243fb2eb90e79daed7ab445a4cb7d804e1ed302728ad50392ae67ad13
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/logical/logical.0.1.0/opam
No package is dependent
Generated using opam2web, courtesy of OCamlPro. Commercial support.