User:CCLevy/ProbLog