% Source: http://www.cs.bgu.ac.il/cgi-bin/genaim/TerminWeb/term_check?example=bad_sublist

append([],Ys,Ys).
append([X|Xs],Ys,[X|Zs]) :- append(Xs,Ys,Zs).

sublist(X,Y) :- append(U,X,V), append(V,W,Y).