miniKanren is an extensible, lightweight relational/logic programming DSL
written in pure Python.
