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

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 itsme...@hotmail.com wrote: Is it aware of all Clojure structures, including maps etc? -- You received this message because you are subscribed to the Google Groups Clojure

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/logic_prog.html

Re: Logic programming in Clojure

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

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 have

Re: Logic programming in Clojure

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

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

reasoning/logic programming from Clojure

2009-06-17 Thread Daniel Lyons
Hi everyone, I'm doing a short talk on declarative/logic programming, reasoning and expert systems for the Albuquerque Lisp/Scheme group this Sunday. I have to talk about Prolog and CLIPS but since the future is here I hope to give some time to Clojure. If you've done something cool with

Re: reasoning/logic programming from Clojure

2009-06-17 Thread Sean Devlin
Sounds awesome! Will you be able to post any material after the talk? You know, slides, videos, notes, etc? Sean On Jun 17, 5:35 am, Daniel Lyons fus...@storytotell.org wrote: Hi everyone, I'm doing a short talk on declarative/logic programming, reasoning and   expert systems for the

Re: reasoning/logic programming from Clojure

2009-06-17 Thread Richard Newman
Sounds awesome! Will you be able to post any material after the talk? You know, slides, videos, notes, etc? Seconded -- I haven't *yet* done anything cool with Clojure and Datalog... but I would like to :) --~--~-~--~~~---~--~~ You received this message

Re: reasoning/logic programming from Clojure

2009-06-17 Thread Daniel Lyons
On Jun 17, 2009, at 7:39 AM, Sean Devlin wrote: Sounds awesome! Will you be able to post any material after the talk? You know, slides, videos, notes, etc? Sure thing. I'll post my slides and whatever code I wind up writing. I don't think anyone will be taping it though (which is