GitHub repository: sarvex/microKanren-extempore
Description: An implementation of miniKanren over microKanren in extempore