I'm a third (?) of the way through implementing cKanren which brings Constraint Logic Programming (CLP) to core.logic. It going a bit slower than expected since this is not a simple port - I'm making quite a few representation / efficiency changes. cKanren supports arithmetic w/ integers, CLP(FD). It also supports CLP(Tree), which is constraint logic programming over tree terms (Clojure persistent data structures).
Once cKanren is up and running it shouldn't be hard for someone to extend core.logic to handle reals - CLP(R). David On Mon, Dec 5, 2011 at 4:08 PM, nchurch <[email protected]> wrote: > 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 [email protected] > Note that posts from new members are moderated - please be patient with > your first post. > To unsubscribe from this group, send email to > [email protected] > For more options, visit this group at > http://groups.google.com/group/clojure?hl=en -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to [email protected] Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/clojure?hl=en
