xieyuheng/exo

logic programming in elixir

语言：Elixir · GitHub 星标：10 · Fork：0

话题：elixir · logic-programming · microkanren · minikanren · the-reasoned-schemer

在 GitHub 上查看原仓库