Probabilistic logic programming in action