On Mon, Apr 11, 2011 at 2:01 PM, Vagif Verdi <[email protected]> wrote:
> Can it be used as an inference (rule) engine ? If you mean in the same way that you can build inference (rule) engines in Prolog - I don't see why not. However there is a bit of work to be done in order to make building efficient rule engines easier: * Be able to load a database (aka Clojure collection) of facts * Indexing of facts * Intelligently use indexed facts Currently I'm a bit more interested in exploring type inference (via nominal logic) so I'm not sure when exactly I'll get to these, tho I'll gladly take patches from people who want such features sooner rather than later :) David -- 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
