lattice-based miniKanren, inspired by lambda-LVars - View it on GitHub