Hallo David, Very cool that this is moving to contrib.
I saw that you gave a presentation at NYC Clojure User Groupe. Was that tapped? If not I think it would be very cool if you could do a screencast with simular content. The videos of rich showing of clojure a reason why some of use are here (including me) and I think it would be great if we had something like this for your library (and logic programming spezially). Like you sad logic programming is not well known yet and its hard to tell people what it is spezially if your not an expert yourself. It would be great to just be able to send somebody a link of a video expmlaing a little bit about it (in clojure). Nick On Apr 28, 5:59 pm, David Nolen <dnolen.li...@gmail.com> wrote: > Logos has been accepted into Clojure > contrib:https://github.com/clojure/core.logic. > > There's a considerable amount of work still to do but I'm excited to see how > the Clojure community might take advantage of a logic programming library. > Two things I'd like to see: > > 1) Make it faster (it's pretty darn fast, but I like faster) > 2) Use to write Clojure programs/extensions that would otherwise be > unnecessarily difficult to implement > > As far as 2, I'm currently brainstorming efficient predicate dispatch, but I > also think there are some opportunities to add an a la carte type system to > Clojure as well. > > Feel free to ask any questions- from what I can tell, logic/relational > programming is a paradigm that is not nearly as well known as functional > programming. I'll probably create a step-by-step tutorial soon to help out > on this front. > > For over-achievers who just want to dive in two texts make it quite clear > how this library works - The Reasoned Schemer > (http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=10663) and > William Byrd's dissertation > (http://pqdtopen.proquest.com/#abstract?dispub=3380156) > > David -- 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 with your first post. 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
