Very simple uKanren implementation not production ready code, just my playground uses depth first search, just because I'm too lazy to implement interleaving search einstein problem as unittest example