ProbLog: Probabilistic logic programs

Prolog and CHR in Finance (2012)

MiningZinc: A Language for Constraint-Based Mining