On Oct 4, 7:06 am, Parth Malwankar <[EMAIL PROTECTED]> wrote:
> Josip Gracin wrote:
> > Hi!
>
> > Rich, in the Boston talk you mentioned that you're considering some
> > kind of a "reasoner" (if I understood correctly) for working with
> > databases. You also mentioned a project whose name sounded like "ios
> > reasoner". I can't find references on anything spelled "ios
> > reasoner". Could you tell me the actual name of the project. Thanks!
>
> I think it was the iris-reasoner datalog, also mentioned on
> IRC here:http://clojure-log.n01se.net/date/2008-10-02.html#14:45
>
> http://iris-reasoner.org/
>
Yes, I was talking about Datalog and the IRIS Reasoner.
The idea would be to add some declarative capabilities to Clojure.
I've thought about adding a mini-Prolog, which is often embedded in
Lisps, but I think Datalog is a better fit. It gives simple
declarative rules along with a query engine that supports recursion,
termination and set-at-a-time evaluation, making for a very nice
embedded data query capability.
I'm still trying to choose between building an interface to IRIS or
building a Datalog implementation from scratch in Clojure.
Looking for feedback, ideas, and participants.
Rich
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
