Hello,

Is there a way to negate a goal in core.logic? I have written this goal 
below, and I would like to use it to query all the pairs of people who are 
*not* relatives according to my facts (for dating purposes of course :-D)

(defn relative [p1 p2]
  (conde
    [(parent p1 p2)]
    [(parent p2 p1)]
    [(sibling p1 p2)]
    [(cousin p1 p2)]
    [(nephew p1 p2)]
    [(uncle p1 p2)]))


Thanks,

Stathis

-- 
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@googlegroups.com
Note that posts from new members are moderated - please be patient with your 
first post.
To unsubscribe from this group, send email to
clojure+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en

Reply via email to