last(+ List,? Last)*
True when List is a list and Last is identical to its last element. d(_, [X], L).
1. prolog::last_2::last/2(int ARG1, int ARG2)():