GitHub repository: kurtschelfthout/FsLogic
Primary language: F#
Description: A port of MiniKanren to F# - embedded, typed logic programming