a_select(ElK-ElV, [K-V|Tail], Tail) :- ElK == K, !, ElV = V. a_select(Element, [Head|Tail1], [Head|Tail2]) :- a_select(Element, Tail1, Tail2).