The Church probalistic extentions to Scheme (http://projects.csail.mit.edu/church/wiki/Church) look interesting enough. I am not sure how practical things like the fuzzy list equality (using Levenshtein distance) would be, but still really interesting ideas.