Pythological

icon location Adding more symbolic computation and logic programming to Python

Results 3 repositories owned by Pythological

kanren

161
Stars
17
Forks
Watchers

An extensible, lightweight relational/logic programming DSL written in pure Python

verified publisher icon pythological

unification

37
Stars
6
Forks
Watchers

Straightforward unification in Python that's extensible via generic functions.

verified publisher icon pythological

etuples

18
Stars
5
Forks
Watchers

Python S-expression emulation using tuple-like objects.

verified publisher icon pythological