reclistid([W|X], [Y|Z]) :- W = Y, reclistid(X, Z).
reclistid([], []).

recasymlistid([W|X], A) :- W = Y, reclistid(X, Z), A = [Y|Z].
recasymlistid([], A) :- A = [].