I highly recommend to consider probabilistic languages, which constitute a natural framework for probabilistic reasoning and modelling. For example, have a look at this:

http://research.microsoft.com/en-us/um/cambridge/projects/in...

or at this:

http://projects.csail.mit.edu/church/wiki/Church

Have a great day!