Implement rembero2 to resolve discrepancy between book and clojure.logic