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.