mage processing using miniKanren i