0.8.4-SNAPSHOT Arrow_down_16x16
  • (permuteo xl yl)
A relation that will permute xl into the yl. May not
terminate if xl is not ground.

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

(defne permuteo
  "A relation that will permute xl into the yl. May not
   terminate if xl is not ground."
  [xl yl]
  ([() ()])
  ([[x . xs] _]
     (fresh [ys]
      (permuteo xs ys)
      (rembero x yl ys))))
Vars in clojure.core.logic/permuteo:
Used in 0 other vars

Comments top

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