Don't have Telegram yet? Try it now!
https://blog.adrianistan.eu/minikanren-programacion-logica
miniKanren, programación lógica diminuta