% CPSC 312
% Author: Steven Wolfman
% Released into the public domain

% prefix(List1, List2) is true if all the elements in
% List1 occur at the start of List2.
prefix([], _).
prefix([X|Xs], [X|Ys]) :-
  prefix(Xs, Ys).