Probabilistic logic program