miniKanren中调用evalo的方法是：codice_2。evalo具有自产生程式的功能。Dan Friedman的《The Reasoned Schemer》一书使用miniKanren来介绍关系型编程。该书还提供了miniKanren在Scheme语言上的一个完整实现。该实现的核心代码的长度仅仅只有两页纸。miniKanren的Scheme实现的设计目的是容易理解，修改并扩展。目前，Haskell、Racket、Ruby、Clojure以及Python中有miniKanren的具体实现。其