Lua port of of microKanren, a minimal logic programming engine. - View it on GitHub