scheme@gentoo.org Gentoo Scheme Project 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. https://github.com/miniKanren/miniKanren/issues miniKanren/miniKanren