There have been several systems that probabilistically extend Prolog or do something similar. I'm not aware of any that do those things specifically, though.

There have been several systems that probabilistically extend Prolog or do something similar. I'm not aware of any that do those things specifically, though. Here's a list of some that I made a bit ago:: http://anyall.org/blog/2009/12/list-of-probabilistic-model-mini-language-toolkits/ http://anyall.org/blog/2009/12/list-of-probabilistic-model-m...