Notes
Some relational Kanren