dev-scheme / chez-minikanren

Canonical miniKanren implementation (on Chez Scheme)

Official package sites : https://github.com/miniKanren/miniKanren ·

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.

v2018.04.11 :: 0 :: gentoo

Modified
License
MIT
Keywords
~amd64
USE flags
source

General

source
Zip the sources and install them

dev-scheme / chez : A programming language based on R6RS

dev-scheme / chez : A programming language based on R6RS

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>