I implemented #kanren in #golang, based on a custom #scheme interpreter. I have no idea why logical programming is so unpopular nowadays, it's both fascinating and powerful way of thinking about programming. https://github.com/twolodzko/kanren