Core.logic isn't the only way to approach this problem. In Peter Norvig's PAIP he included a simple algebra system, macsyma http://norvig.com/paip/macsyma.lisp (in common lisp).
JG On Sunday, 20 May 2012 06:21:56 UTC+10, Brent Millare wrote: > That's more or less what I'm going to have to do anyways. It's great that > clojure + core.logic make that as easy as possible. > > On Friday, May 18, 2012 10:42:16 PM UTC-4, David Nolen wrote: >> >> It might also be interesting to pursue a hybrid system - that's the whole >> point of core.logic - being able to mix functional and relational >> programming with minimal hassle. >> >> 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