Show HN: Micrologic – A tiny, literate implementation of miniKanren/core.logicmullr.github.io·28 pts·mullr·0