Foundations of probabilistic logic programming : languages, semantics, inference and learning /: languages, semantics, inference and learning. (2023)