['The', 'first', 'step', 'of', 'PB', ',', 'the', 'enumeration', 'of', 'the', 'conditional', 'sample', 'space', 'through', 'abductive', 'logic', 'programming', ',', 'could', 'be', 'compared', 'to', '“', 'logical', 'inference', '”', 'in', 'ProbLog', '[', '9', ']', '.']