Scheme '13 2013

µKanren: A Minimal Functional Core for Relational Programming

Scheme '13 2013 tapeinosyne/elm-microkanren

This paper presents µKanren, a minimalist language in the miniKanren family of relational (logic) programming languages.