miniKanren take on adatx main example (https://github.com/LudoTheHUN/adatx) - View it on GitHub