silentbicycle/lua-ukanren

Lua port of of microKanren, a minimal logic programming engine.

语言：Lua · GitHub 星标：35 · Fork：3

在 GitHub 上查看原仓库