TY - JOUR AU - Sandra Dylus AU - Jan Christiansen AU - Finn Teegen BT - Theory and Practice of Logic Programming DO - 10.1017/S1471068419000085 M1 - 1 PY - 2020 SP - 147 EP - 175 T2 - Theory and Practice of Logic Programming TI - Implementing a Library for Probabilistic Programming Using Non-Strict Non-Determinism VL - 20 ER -