This is really exciting! Well done! Looking forward to playing around with this in its new home.
Ambrose On Thu, Apr 28, 2011 at 11: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 -- 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
