Plain, vanilla, core miniKanren