Experiments with the Verse Calculus in miniKanren
The Verse Calculus is described in the paper The Verse Calculus: a Core Calculus for Functional Logic Programming
Greg Rosenblatt has implemented small-step interpreters in Racket for miniVerse (and microVerse)
This repository includes a copy of Michael Ballantyne's faster-miniKanren