prolog::sublist/2¶

sublist(?Sub, +List) is nondet.%% True if all elements of Sub appear in List in the same order.%% ALlo, both append(_,Sublist,S) and append(S,_,List) hold.

(undocumented)

Private-func:¶

1. prolog::sublist_2::sublist/2(int ARG1, int ARG2)():