An evaluation error occurs when an incorrect arithmetic expression was evaluated. Floating-point overflow is another evaluation error. The SICStus_Error term associated with an evaluation error is
evaluation_error(Goal, ArgNo, TypeName, Culprit)
This has the same arguments as a type error.