PFLP
Library for Probabilistic Functional Logic Programming
Detailed package documentation (available shortly after this version has been published)