First of all, stop saying 'on datomic'. Datomic as a Database, witch in its Peer library has a implmentation of Datalog. This implmentation of Datalog has basicly nothing to do with the rest of datomic, it can be used as a query language for data from all sources, it just comes with the Datomic Peer Library.
There is no sence in me explaining this. Learn what logic programming (prolog, core.logic) is and how it works, and then you will understand it. Am Sonntag, 9. Dezember 2012 16:18:40 UTC+1 schrieb Brent Millare: > > 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
