0.8.4-SNAPSHOT Arrow_down_16x16
  • (membero x l)
A relation where l is a collection, such that l contains x

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:1664 top

(defne membero 
  "A relation where l is a collection, such that l contains x"
  [x l]
  ([_ [x . tail]])
  ([_ [head . tail]]
     (membero x tail)))
Vars in clojure.core.logic/membero:
Used in 0 other vars

Comments top

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