v 1.0.5 Updated: 5 months, 3 weeks ago
Relational programming in Python
https://github.com/pythological/kanren