clojure: triplet search

(defn square [x] (* x x))

(defn search
        ([a b c]
                (if (and (= (+ (square a) (square b)) (square c))
                         (= 12 (+ a b c))) [[a b c]]))
        ([b c]
                (first (filter seq (map #(search % b c) (range 1 b)))))
        ([c]
                (first (filter seq (map #(search % c) (range 1 c)))))
        ([]
                (first (filter seq (map #(search %) (iterate inc 1))))))

(apply * (first (search)))