ProbLog

The Probable Mystery Machine

Solving the mysteries of Scooby Doo with probabilistic logic programming.