You could try datalog with your own parser. Personally I feel like their is a need for a new industry standard language that lets you encode assertions with either a boolean or a probability.