arsalan0c/kanren

Kanren(s) embedded in OCaml for logic programming

语言：OCaml · GitHub 星标：4 · Fork：0

话题：kanren · logic · logic-programming · microkanren · minikanren · ocaml · relations

在 GitHub 上查看原仓库