I'm currently at UAI and there is a really interesting paper which uses the code-as-data aspect of lisp to create a language in which you can describe an arbitrary probabilistic model, and do inference on it.
http://uai2008.cs.helsinki.fi/UAI_camera_ready/goodman.pdf
