[m-users.] Performance of solutions module

[Fred Mesnard]

> Le 6 nov. 2018 à 02:10, Zoltan Somogyi <zoltan.somogyi at runbox.com> a écrit :
> 
> There are two kinds of semantics that are relevant here. One is the
> declarative semantics: what a piece of code is supposed to mean.
> The other is the operational semantics: what the compiled version
> of that code actually does. Mercury is a declarative language
> because in almost all cases, the compiler is required to ensure
> that the operational semantics matches the declarative semantics.
> 
> Committed choice code is one of the main exceptions.


Thanks for the explanations you gave! 
What are the other exceptions?

Fred