%0 Journal Article
%B Theory and Practice of Logic Programming
%D 2020
%P 147-175
%R 10.1017/S1471068419000085
%T Implementing a Library for Probabilistic Programming Using Non-Strict Non-Determinism
%V 20