Hello David, thanks for your work. It is very interesting addition. One thing that came to my mind, is a language Mercury: http://en.wikipedia.org/wiki/Mercury_(programming_language) http://www.mercury.csse.unimelb.edu.au/
"Mercury is a new logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs." It is based on both Prolog and Haskell and claims to be very fast. Maybe you could check it out and see, what makes it different and maybe worthwhile studying. Some parts could be useful and shed some light on union of functional and logical universes :-) Lots of fun with logical programming wishes, Frantisek PS: Not meant as advertisement of Mercury. On Thu, Apr 28, 2011 at 9:19 PM, David Nolen <dnolen.li...@gmail.com> wrote: > On Thu, Apr 28, 2011 at 3:05 PM, Nick Zbinden <nick...@gmail.com> wrote: > >> 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). >> > > Sadly it wasn't recorded, but it went over very well. > > >> >> 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 > > > Well I wouldn't consider myself an expert in any of these matters, but I'm > interested in making the library more accessible so tutorials and > screencasts are something I'm thinking about. > > 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 > -- 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
