Details | Last modification | View Log | RSS feed
prefix([],_).
prefix([H|T1],[H|T2]) :- prefix(T1,T2).