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.
