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