an implementation of a microKanren(-like language) in miniKanren