Functions that are going to be used in core logic must return goals.
(defn parents-of [m f c]
> (parent m c)
> (parent f c)
> (!= m f))
>
In this case you only return the (!= m f) subgoal instead of the goal that
represents the conjunction of all three subgoals.
(defn parents-of [m f c]
(all
(parent m c) (parent f c)
(!= m f)))
Is probably what you want. Untested.
David
--
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to [email protected]
Note that posts from new members are moderated - please be patient with your
first post.
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en
