ClojureDocs

Nav

Namespaces

ClojureDocs
    ClojureDocs
      Namespaces

      distincto

      clojure.core.logic

      • (distincto l)
      A relation which guarantees no element of l will unify
 with another element of l.
      © Rich Hickey. All rights reserved. Eclipse Public License 1.0
      1 Example
      (run* [a b] (membero a [1 2]) (membero b [1 2]) (distincto [a b]))
;;=> ([1 2] [2 1])

;; Without 'distincto':

(run* [a b] (membero a [1 2]) (membero b [1 2]))
;;=>([1 1] [1 2] [2 1] [2 2])
      See Also
      No see-alsos for clojure.core.logic/distincto
      0 Notes
      No notes for distincto