Further SML

We have treated SML as if it were a pure functional language. Functional languages are a subgroup of the declarative languages: the other subgroup is logic programming languages of which the best known example is the impure Prolog.