Rulelog: Highly Expressive Semantic Rules with Scalable Deep Reasoning
Well-Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution Semantics