Pass predicate

gistfile1.clj

(def predicate `(< 3 "?a"))
(def data [[1] [2] [3] [4]])

(defmacro foo
  [data predicate]
  `(<- ["?a"]
       (data :> "?a")
       (~@predicate)))

(?- (stdout) (foo data (eval predicate))) ;doesn't work
(?- (stdout) (foo data (< 3 "?a"))) ;works

Can you actually just inline with [< 3 "?a"] (notice vector, not a list).

also, just do

(defn foo
  [data predicate]
  (<- [?a]
       (data :> ?a)
       pred))

Or use construct:

(defn foo
  [data & predicates]
  (apply construct ["?a"] [data :> "?a"] predicates))