Well-Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution Semantics

Fabrizio Riguzzi, Terrance Swift

The distribution semantics is one of the most prominent approaches for the combination of logic programming and probability theory. Many languages follow this semantics, such as In…