Annotated implementation of microKanren: an embeddable logic language | Hacker News