[ndsipa_pomu]

Reminds me that I played around a tiny bit with Fril back in the day. Prolog with probabilities/uncertainties

https://en.wikipedia.org/wiki/Fril