Probabilistic PL based on pattern matching and constraint propagation, 148 examples - View it on GitHub