0.8.4-SNAPSHOT Arrow_down_16x16
  • (appendo x y z)
A relation where x, y, and z are proper collections,
such that z is x appended to y

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

(defne appendo 
  "A relation where x, y, and z are proper collections, 
  such that z is x appended to y"
  [x y z]
  ([() _ y])
  ([[a . d] _ [a . r]] (appendo d y r)))
Vars in clojure.core.logic/appendo:
Used in 0 other vars

Comments top

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