I'm taking a more serious dive into logic programming and I have a question about facts.
*Is it true that that goals and facts are the same in that you can use unification and conde to get the same effect? So querying a conde of multiple unifications is like stating a bunch of facts of a relation, and then querying that relation?* * * *Also then if this is true, is it also true that the reason we have facts is that they can be indexed and thus be more efficient?* * * * * -- 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
