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