Re: Logic programming in Clojure

2010-03-26 Thread jim
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 th

Re: Logic programming in Clojure

2010-03-26 Thread Sophie
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 w

Re: Logic programming in Clojure

2010-03-23 Thread Anniepoo
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 mess

Re: Logic programming in Clojure

2010-03-23 Thread jim
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 w

Re: Logic programming in Clojure

2010-03-23 Thread Konrad Hinsen
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 ha

Re: Logic programming in Clojure

2010-03-23 Thread Quzanti
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

Logic programming in Clojure

2010-03-23 Thread jim
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/