impl based on microKanren by @jasonhemann and @dfried00
roundabout syntax...