PHIL
Parameter learning for HIerarchical probabilistic Logic programs