Relational programming in Python

WWW: https://github.com/pythological/kanren
