Probabilistic Constraint Logic Programming | Synapse