https://www.dict.cc/englisch-deutsch/predicative+programming.html