ProbLog loading ...