AILog 2

A logic programming language with probabilities and logical explanation and debugging faculities

Any comments you have are appreciated.