I see. Iris does look pretty good, but I think I'm going to give writing this in Clojure a try -- the worst outcome is I waste some time and learn a lot about logic programming. I think Clojure's superior handling of state and concurrency will pay off here.
On Feb 3, 1:35 pm, hoeck <[email protected]> wrote: > hi jeffrey, > > On Feb 3, 2:50 pm, Jeffrey Straszheim <[email protected]> > wrote: > > > Erik, > > > Did you use a bottom up evaluation strategy? What top level > > optimizations did you use (e.g. magic sets and so on)? > > I only wrote a clojure-wrapper for the iris-reasoner (www.iris- > reasoner.org) mentioned above. > One thing i added is the possiblity to add clojure-sets as named > relations to a iris datalog program. > All the evaluation is done by iris. The wrapper is part of a larger > library dealing with lazy relational operators and sets. > > erik --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to [email protected] 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 -~----------~----~----~----~------~----~------~--~---
