CHRiSM

Chance Rules induce Statistical Models

CHRiSM is a new programming language, combining features of the existing languages CHR and PRISM. It is a rule-based formalism for probabilistic-logic learning. The current implementation of CHRiSM is based on the K.U.Leuven CHR and it can be downloaded here.