Clojure micro kanren (relational logic programming system) based on sokuza-kanren