A port of MiniKanren to F# - embedded, typed logic programming
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool