Annotated implementation of microKanren: an embeddable logic languagegithub.com/ashton31473 pointsashton3144 years ago