You have a misunderstanding. core.logic and datomic datalog are not the same thing.
core.logic is a turing complet logic engine, datomic datalog is only a querying subpart of this. You can not solve the zebra problem with datomic datalog, its impossible. Think of datomic datalog as if it would be something like SQL, while core.logic is something like the prolog programming language. Am Sonntag, 9. Dezember 2012 07:42:16 UTC+1 schrieb Brent Millare: > > I understand both core.logic and datomic offer a query system. While there > are clear interface differences, and the systems are continuing to evolve > so the answer will change over time, however, I don't have a good first > order approximation understanding of the capabilities or performance > differences between the two. Can anyone give a good explanation? As an > example, how is the approach to solving the zebra problem different with > each system? What's the difference between functional constraints in > datomic and constraint programming in core.logic? -- 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
