minikanren (pypi): Relational programming in Python
Keywords: clp|constraint-logic-programming|logic-programming|minikanren|relational-programming|symbolic-computation