Can you elaborate on the zebra puzzle? What particular aspect is required? What would need to be implemented to get it to work on datomic?
On Sunday, December 9, 2012 5:48:55 AM UTC-5, Nick Zbinden wrote: > > 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
