Re: Logic programming in Clojure
No. That's one of the improvements I would make if I get back to working on it again. Jim On Mar 26, 1:37 pm, Sophie wrote: > > Is it aware of all Clojure structures, including maps etc? -- 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.
Re: Logic programming in Clojure
Really nice! Is it aware of all Clojure structures, including maps etc? -- 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.
Re: Logic programming in Clojure
As well as optimizing compilers, there are many knowledge bases available for prolog. Most people with a practical application that needs an expert system are probably far more invested in that knowledge base (the prolog code is a 'knowledge base') than in anything else. -- 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.
Re: Logic programming in Clojure
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 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 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.
Re: Logic programming in Clojure
On 23.03.2010, at 18:26, Quzanti wrote: > 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? Why do we need the hundreds of programming languages we have? We don't. It's just that different people have different ideas of what makes a language useful. Practically speaking, the main advantage of Prolog is probably that optimizing compilers have been developed for quite some time. Logic programming systems in Lisp (and other languages) will probably never catch up with that, for lack of manpower. Konrad. -- 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.
Re: Logic programming in Clojure
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 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.
Logic programming in Clojure
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.