Re: Logic Programming Contrib

2009-02-24 Thread Michel S.
On Feb 24, 3:28 pm, Chouser wrote: > On Tue, Feb 24, 2009 at 1:18 PM, Michel S. wrote: > > > Kanren / Mini Kanren (Mini is the version in Reasoned Schemer) are MIT- > > licensed: > > >http://kanren.sourceforge.net/#Availability > > > so even a port is alright. > > The problem is that to be inc

Re: Logic Programming Contrib

2009-02-24 Thread Chouser
On Tue, Feb 24, 2009 at 1:18 PM, Michel S. wrote: > > Kanren / Mini Kanren (Mini is the version in Reasoned Schemer) are MIT- > licensed: > > http://kanren.sourceforge.net/#Availability > > so even a port is alright. The problem is that to be included in contrib, it needs to be the original work

Re: Logic Programming Contrib

2009-02-24 Thread jim
Good to know. Thanks. Michel S. wrote: > On Feb 24, 11:03 am, Rich Hickey wrote: > Kanren / Mini Kanren (Mini is the version in Reasoned Schemer) are MIT- > licensed: > > http://kanren.sourceforge.net/#Availability > > so even a port is alright. When I took Dan Friedman's class based on > the b

Re: Logic Programming Contrib

2009-02-24 Thread Michel S.
On Feb 24, 11:03 am, Rich Hickey wrote: > On Feb 24, 9:56 am, jim wrote: > > > One stepping stone to getting my parenscript-like javascript generator > > released is to get the logic programming module released.  A couple of > > months ago, I implemented the system from "The Reasoned Schemer"

Re: Logic Programming Contrib

2009-02-24 Thread jim
Hadn't thought of that. There are two parts, the unification part and the implementation of the operators. In the interest of time and learning, I originally did a port of both parts. What I've since done is re-implement the operators, so that's a totally original implementation using lazy sequ

Re: Logic Programming Contrib

2009-02-24 Thread Rich Hickey
On Feb 24, 9:56 am, jim wrote: > One stepping stone to getting my parenscript-like javascript generator > released is to get the logic programming module released. A couple of > months ago, I implemented the system from "The Reasoned Schemer" in > Clojure and posted it to the files section. I

Logic Programming Contrib

2009-02-24 Thread jim
One stepping stone to getting my parenscript-like javascript generator released is to get the logic programming module released. A couple of months ago, I implemented the system from "The Reasoned Schemer" in Clojure and posted it to the files section. I've updated it to take advantage of the mo