Hi. I did the min-kanren implementation and the second tutorial.

I think the better path would be the inference engine in Clojure. Are
you familiar with Kanren? (not mini-kanren but the full blown system)
I'd be interested in your opinion of it compared to Prolog. I would
think implementing it in Clojure would be more productive than Prolog.

One thing I'd like to do is implement a business rules engine in
Clojure running the Rete algorithm or something similar. Sort of a
Drools in Clojure.

Jim

On Jul 26, 7:15 am, "p.bernard" <paul.bern...@teleapp.com> wrote:
> I've been consider doing some work in the rule process space and would
> be interested in the groups feedback.
> I'm considering two separate efforts, but will only have the time to
> work on one, and I'm curious which of the two the group would find
> collectively more useful and of interest in terms of either use or
> participation.
>
> 1. Development of an Inference engine in Clojure.
> or
> 2. Development of a Prolog interpreter in Clojure:
>
> I'm familiar with with the following logic programming 
> work:http://blog.fogus.me/2009/01/15/on-lisp-clojure-prolog-pt-1/http://clojure.googlegroups.com/web/mini_kanren.cljhttp://intensivesystems.net/tutorials/logic_prog.html
> If folks know of others please feel free to pitch in.
>
> While interesting as a starting point these logic programming efforts
> don't quite have the formality or thoroughness that would be required
> to go to production.  A more formal and dedicated effort might produce
> something more concrete for the group.
>
> I was not able to find anything done to date with respect to a
> reasonable implementation of an Inference engine but suspect that this
> might be equally useful. If folks know of any work done in this area
> with respect to clojure I would also appreciate the feedback.

-- 
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

Reply via email to