suffix(? Suffix, ? List)*
Holds when append(_,Suffix,List) holds.
append(_,Suffix,List)
1. prolog::suffix_2::suffix/2(int ARG1, int ARG2)():