JaimieMurdock/HK

HaskellKanren (HK) is an implementation of the Kanren logic programming system in Haskell.

语言：Haskell · GitHub 星标：24 · Fork：2

在 GitHub 上查看原仓库