Summary
miniKanren is an embedded Domain Specific Language for logic programming. The core miniKanren language is very simple, with only three logical operators and one interface operator. miniKanren is designed to be easily modified and extended; extensions include Constraint Logic Programming, probabilistic logic programming, nominal logic programming, and tabling.
Versions
v2018.04.11 :: 0 :: gentoo
- Modified
- License
- MIT
- Keywords
- ~amd64
- USE flags
- source
USE flags
General
- source
- Zip the sources and install them
Dependencies
dev-scheme / chez : A programming language based on R6RS
Runtime Dependencies
dev-scheme / chez : A programming language based on R6RS
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-scheme/chez-minikanren: new package; add version 2018.04.11
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>