Download link:
Demo system for Probabilistic Predicates