They probably should though I don't think that's a hard requirement. In Prolog you can write a fact that looks like this:
likes(X,X). To say that everyone likes themselves. This is probably better expressed as a regular relation in core.logic and not as a fact. (defn likes [x y] (== x y)) David On Sat, May 19, 2012 at 1:01 PM, Brent Millare <brent.mill...@gmail.com>wrote: > Basic follow up question. I assumed that all facts must be grounded, but I > never really found the answer to this. Is it true? > > > -- > 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 > -- 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
