This is quality work David, that I feel opens up Clojure to even more exciting domains.
I'd love to get involved in helping your second goal. As ideas and projects come up, please advertise them on the list or email me directly. Paul On Apr 28, 8:59 am, 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
