0.8.4-SNAPSHOT Arrow_down_16x16
  • (predc x p)
  • (predc x p pform)

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

(defn predc
  ([x p] (predc x p p))
  ([x p pform]
     (cgoal (-predc x p pform))))
Vars in clojure.core.logic/predc:
Used in 0 other vars

Comments top

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