The F# Journal just published an article:
"MiniKanren is a family of logic programming languages of varying sophistication. MicroKanren is a minimal functional core of a relational language that was described in a 2013 paper. The original MicroKanren implementation weighs in at just 50 lines of Scheme. This article takes a look at the MicroKanren program and translates it into F# along with some advancements that make it more capable and worked examples that are more interesting..."