A minimal miniKanren, in strict LOLCODE 1.3. Logic variables, unification, goal composition, and bounded search, in one file. Slices and dices.