logicalversion

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.2.0.tar.gz
md5=1f088b0cc467619cd38a2538ec2d11b8
sha512=13ea13a7f1ba254a0468da65662f365c7ebc76e98896279735651f04707475e0fdc56895511ff8045a54a86fd0109a9cf4f98ed5b94b871fddd6316ead72c601
StatisticsInstalled 2 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/logical/logical.0.2.0/opam
No package is dependent