[typedweb]

Probabilistic programming in Common Lisp:

https://github.com/nikodemus/screamer

[kgwgk]

Not really. Screamer gives you "nondeterministic" programming. It can be used for example to solve sudokus: http://nikodemus.github.io/screamer/sudoku.lisp.html