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.