Apa alasan di balik menjadikan non-determinisme sebagai fitur Haskell?

Kita tahu bahwa di Prolog - predikat non-deterministik adalah fitur yang digunakan untuk mengurangi masalah kombinatorial . Di Haskell kita melihat beberapa perilaku non-deterministik serupa dengan Prolog di Daftar Monad . Dalam Haskell kita juga melihat non-determinisme dalam memilih urutan...