A minimal miniKanren, in strict LOLCODE 1.3. Logic variables, unification, goal composition, and bounded search, in one file. Slices and dices.
Show HN: CanhazKanren: A MicroKanren in Lolcode 1.3
github.com