miniKanren take on adatx main example (https://github.com/LudoTheHUN/adatx)