Re: ANN: Logos 0.1 - An Optimized miniKanren Logic Programming Library for Clojure

2010-12-04 Thread David Nolen
On Sat, Dec 4, 2010 at 5:58 PM, jim wrote: > Very, very nice. Excellent work. I look forward to using it. > > I was looking at porting Kanren proper to Clojure. There appear to be > some really good ideas in there that maybe could be added to Logos. > > Very well done. > > Jim I agree that ther

Re: ANN: Logos 0.1 - An Optimized miniKanren Logic Programming Library for Clojure

2010-12-04 Thread David Nolen
On Sat, Dec 4, 2010 at 6:39 PM, Jules wrote: > Interesting. Is Byrd's dissertation available online? Yes I added that and several other resource links to the bottom of the project's description on the GitHub repo. David > On Dec 4, 9:41 pm, David Nolen wrote: > > I announced it earlier this

Re: ANN: Logos 0.1 - An Optimized miniKanren Logic Programming Library for Clojure

2010-12-04 Thread Jules
Interesting. Is Byrd's dissertation available online? On Dec 4, 9:41 pm, David Nolen wrote: > I announced it earlier this week on Twitter, but it's now come far along > enough to be usable. You can write fun stuff like the following: > > (defn likes >   [x y] >   (cond-e >    ((== x 'john) (== y

Re: ANN: Logos 0.1 - An Optimized miniKanren Logic Programming Library for Clojure

2010-12-04 Thread jim
Very, very nice. Excellent work. I look forward to using it. I was looking at porting Kanren proper to Clojure. There appear to be some really good ideas in there that maybe could be added to Logos. Very well done. Jim On Dec 4, 2:41 pm, David Nolen wrote: > I announced it earlier this week on