latticeKanren Lattice-based miniKanren, inspired by the lambda-LVars work of Lindsey Kuper and Ryan Newton (https://www.cs.indiana.edu/~lkuper/papers/2012-lambdaLVar-draft.pdf). This implementation is experimental, to say the least.