“…Interested readers should consult the references, tutorials, and myriad implementations at miniKanren.org for further details. Although Kumar [25] has formally specified miniKanren's syntax and given several semantics, implementers have been encumbered by neither, and none of the more widely used implementations obey these specifications [29,4]. Instead, miniKanren is better described as a family of related logic programming languages, traditionally shallowly embedded in a declarative host language, most of whose semantics are informally specified by direct appeal to their host languages' features.…”