0.8.4-SNAPSHOT Arrow_down_16x16

distincto

clojure.core.logic

  • (distincto l)
A relation which guarantees no element of l will unify
with another element of l.

0 Examples top

Log in to add / edit an example.

See Also top

Log in to add a see also.

Plus_12x12 Minus_12x12 Source clojure/core/logic.clj:2566 top

(defne distincto
  "A relation which guarantees no element of l will unify
   with another element of l."
  [l]
  ([()])
  ([[h]])
  ([[h0 h1 . t]]
     (!= h0 h1)
     (distincto (lcons h0 t))
     (distincto (lcons h1 t))))
Vars in clojure.core.logic/distincto:
Used in 0 other vars

Comments top

No comments for distincto. Log in to add a comment.