I've got to say that I'm not a logic programming guru. Mostly I just see the promise there. The observation about graph search came from the book "Simply Logical" that I linked to at the end, I believe. I certainly didn't originate it.
If you check out Oleg's page, you'll find a lot of papers about logic programming that will answer your question better than I could. (Along with a ton of other interesting things to read. The man's a freakin genius.) Check out the sourceforge page for Kanren. http://kanren.sourceforge.net/ Konrad, you may be right about the optimizing compiler issue. With mini-Kanren being implemented in Clojure, perhaps Hotspot could do a good enough job optimizing to mitigate that issue somewhat. I don't know. As I was writing that tutorial, I started thinking about ways to implement mini-Kanren that would be better and other projects using it. Like a business rules engine written in Clojure. Too many cool things to work on, not enough time. :) Jim On Mar 23, 12:26 pm, Quzanti <quza...@googlemail.com> wrote: > Very interesting write up. > > What advantages would prolog have over such a language. Or if we are > trying to move beyond language wars - what styles of logic programming > would be more natural in either one or the other? > > I say that because my first thought is if you could build a logic > language on top of LISP then would prolog be needed as the other AI > language? > > I liked your insight on logic being a graph search. > > On Mar 23, 3:23 pm, jim <jim.d...@gmail.com> wrote: > > > I just posted a new tutorial about doing logic programming in Clojure. > > It makes use of the mini-Kanren port to Clojure I did last year. It's > > intended to reduce the learning curve when reading "The Reasoned > > Schemer", which is an excellent book. > > >http://intensivesystems.net/tutorials/logic_prog.html > > > Jim -- 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 To unsubscribe from this group, send email to clojure+unsubscribegooglegroups.com or reply to this email with the words "REMOVE ME" as the subject.
