Comment by simonw

In that case an example box with tabs at the top - "miniKanren in Python / Go / Ruby" or whatever - would really help illustrate that point.