Clojurians Log v2

You would need to turn it into a relation/goal. When turning a function into a relation, the most important step for reasoning about things (at least in my book) is to make the arity -> arity+1. Basically, you are turning the output of the function into one of the inputs of a relation. So for this problem

(defn squared [n]
  (* n n))

(defn squaredo [n s]
  (fd/* n n s))

(l/run* [x]
        (l/membero x [1 2 3])
        (l/fresh [sq]
                 (squaredo x sq)
                 (fd/< sq 9)
                 (fd/> sq 1)))

There's also project but it makes it non relational

Thank you @patrick317, this helped. Is it idiomatic to use featurec to "destructure" values from deeply nested data structures to "store" them in lvars so they can be used in other goals?