¿Cuál es el razonamiento detrás de hacer que el no determinismo sea una característica de Haskell?

Sabemos que en Prolog , los predicados no deterministas son una característica utilizada para reducir los problemas combinatorios . En Haskell vemos un comportamiento no determinista similar al de Prolog en la Lista Mónada . En Haskell también vemos el no determinismo al elegir el orden de...