ProbLog

Model

Result

Ground program