[shameless plug] Ranked programming is like probabilistic programming but you don't use probabilities. Instead, you state how your program normally behaves and

[shameless plug] Ranked programming is like probabilistic programming but you don't use probabilities. Instead, you state how your program normally behaves and how it may exceptionally behave. Conceptually it's very similar to probabilistic programming, but the underlying uncertainty formalism is replaced with ranking theory. You can find an implementation of this idea (based on Scheme/Racket) here: https://github.com/tjitze/ranked-programming https://github.com/tjitze/ranked-programming For more detailed information check the paper linked to on that page.