core.logic questions

2011-11-09 Thread Mark
I'm working through the core.logic examples on http://objectcommando.com. I want to develop a query that returns the child and his parents. The gives me what I want: (run* [q] (fresh [m f c] (== c 'Sonny) (parent m c) (parent f c) (!= m f)

Re: core.logic questions

2011-11-09 Thread David Nolen
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]