clojure - 2 方向への射影は、core.logic でリレーショナルとしてカウントされますか?

Question

projectin core.logic はリレーショナルではないことを理解しています。

ただし、内部で両方向に射影することにより、リレーショナルのような動作を得ることができるようですconda。

(defn lifto-with-inverse
  "Lifts a unary function and its inverse into a core.logic relation."
  ([f g]
    (fn [& vs]
      (let [[x y] vs]
        (conda 
          [(pred x number?) (project [x] (== y (f x)))]
          [(pred y number?) (project [y] (== x (g y)))])))))

(let [inco (lifto-with-inverse inc dec)]
   (run* [q] (inco q 3)))
=> 2

これはリレーショナル操作としてカウントされますか? それとも、これを非リレーショナルにする何かが欠けていますか?