-  last(?List, ?Last)
 - Succeeds when Last is the last element of List. This
predicate is 
semidet if List is a list and multi if List is
a partial list.
- Compatibility
 - - There is no de-facto standard for the argument order of
last/2. Be careful when porting code or use
append(_, [Last], List) as a portable alternative.