I haven't read _The Reasoned Schemer_, but I have read the logic programming sections of SICP and Norvig .. as well as some non-lispy texts. I *suspect* TRS's material is at a similar weight. What I'm trying to do now goes quite a bit beyond those implementations. Plus, they are all use a top-down w/ unification approach. For Datalog I'm using a bottom up, set oriented, fixed-point based approach, which guarantees termination, but turns out to be very hard to optimize.
On Fri, Feb 20, 2009 at 1:47 PM, jim <jim.d...@gmail.com> wrote: > > There's a logic programming module in the files section. It > implements the system found in "The Reasoned Schemer". > > On Feb 18, 2:59 pm, Jeffrey Straszheim <straszheimjeff...@gmail.com> > wrote: > > Did you cover logic programming? Any bottom up logic query techniques? > > (My motives are probably transparent.) > > > > On Wed, Feb 18, 2009 at 2:34 PM, Joshua <jhaw...@gmail.com> wrote: > > > > > I am currently in a masters level Compiler class. We have a final > > > project for the class and I was wondering if there would be any > > > defects/enhancements that I could do in Clojure. I have about 5 years > > > of professional Java experience with dabbling with some other > > > languages. (not an expert, but pretty good). The amount of work for > > > the project should be about 20-40 hours (I have a month). > > > > > Please let me know of any suggestions. > > > > > Joshua > > > --~--~---------~--~----~------------~-------~--~----~ 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 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 -~----------~----~----~----~------~----~------~--~---
