constraints.clj

(unifier/unify 
  {:as '{?x (?y ?z)}
   :constraints {'?z (fnc [n] (number? n))}
  '(?x ?a) '(["foo" 9] [1 2 3]))

;; previously you couldn't name '(?y ?z)

(unifier/unify 
  {:constraints {'?z (fnc [n] (number? n)}}
  '((?y ?z) ?a) '(["foo" 9] [1 2 3]))

;; if vector, we want a constraint that involve two or more vars
;; if set, we want to apply a constraint individually

(unifier/unify 
  {:constraints {'[?y ?z] (fnc [y z] ... #_(something about y & z) ...)
                 '#{?y ?z} (fnc [n] (number? n))}}
  '((?y ?z) ?a) '(["foo" 9] [1 2 3]))