GitHub repository: sarvex/lua-ukanren
Primary language: Lua
Description: Lua port of of microKanren, a minimal logic programming engine.