Foundations of probabilistic logic programming languages, semantics, inference and learning - Riguzzi, Fabrizio (River Publishers series in software engineering, 2023)