playing with kanren