A domain error expresses that a term satisfies the basic 
Prolog type expected, but is unacceptable to the restricted domain 
expected by some operation. For example, the standard Prolog open/3 
call expect an io_mode (read, write, append, ...). If an 
integer is provided, this is a type error, if an atom other 
than one of the defined io-modes is provided it is a domain error.