mine.clj

(ns logic-introduction.mine
  (:refer-clojure :exclude [==])
  (:use [clojure.core.logic]))

(defn grow [x]
  (* 1.5 x))

(defn shrink [x]
  (* 0.5 x))

(defn increasingo [f]
  (fresh [g]
         (project [g]
                  (== f g)
                  (if (> (g 1) 1)
                    succeed
                    fail))))

(run* [q]
      (membero q [grow shrink])
      (increasingo q))