0.8.4-SNAPSHOT Arrow_down_16x16
  • (moveo n x y z)

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/bench.clj:367 top

(defne moveo [n x y z]
  ([1 _ _ _]
     (trace-lvars "Move top disk from " x)
     (trace-lvars " to " y))
  ([_ _ _ _]
     (pred n #(> % 1))
     (fresh [m _] (is m n dec)
       (moveo m x z y) (moveo 1 x y _) (moveo m z y x))))
Vars in clojure.core.logic.bench/moveo:
Used in 0 other vars

Comments top

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