Probabilistic language based on pattern matching and constraint propagation, 153 examples - View it on GitHub