Kanren: An extensible, lightweight relational/logic programming DSL in Pythongithub.com/pythological3 pointstosh2 years ago