Text this: Coalgebraic Semantics for Probabilistic Logic Programming