On Fri, May 18, 2012 at 8:31 PM, Brent Millare <brent.mill...@gmail.com>wrote:
> Is there work towards building an algebra system with core.logic? So one > could analyze mathematical expressions: compute symbolic derivatives, > simplify expressions, determine undefined variables, and other forms of > analysis. Not that I'm aware of. > are not ordered in any way but I would like to order them, (if possible, > otherwise throw useful error), such that there isn't any dependency > problems. Is there a good way to do this with core.logic? And is the > performance comparable to a hand coded solution. Or put another way, can it > do this in seconds for 500 equations? > Unknown :) I do know that The Art of Prolog does cover a simple system based on the Prolog Equation Solving System. You might want to start research there. David -- 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