A type error occurs if an argument is not of the expected type. Examples of types are:
integer
atom
list.
If the predicate is of the expected type, but outside the expected domain, then a domain error is raised.
For example, a domain error is admissible if an integer between 0 and 15 is exp...
