Probabilistic Datalog+/- under the Distribution Semantics