[tmtvl]

It's simple: it starts with Scheme being implemented in Prolog and then Kanren gets implemented in the Prolog Scheme. It's much less difficult than a couple of magnets and an air hockey table.