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.