I'm wondering if core.logic can be used to solve equations over reals or rationals; all the examples I've seen are with with integers and 'Oleg numbers'. I'm talking about something like this:
http://mitpress.mit.edu/sicp/full-text/book/book-Z-H-22.html#%_sec_3.3.5 What spurred me was this week's unit of the Stanford AI class, where you have to get multiple values out of an equation like X1 = x2* (f/ Z). Seems like a case for relational programming, but it's not with LVars! -- 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
