% Source: http://www.cs.kuleuven.ac.be/~dtai/prototypes/dppd/match.html
match(Pat,T) :- match1(Pat,T,Pat,T).

match1([],Ts,P,T).
match1([A|Ps],[B|Ts],P,[X|T]) :-
	A\==B,
	match1(P,T,P,T).
match1([A|Ps],[A|Ts],P,T) :-
	match1(Ps,Ts,P,T).