All pastes #422519 Raw Edit

Something

public text v1 · immutable
·published 2007-04-03 14:39 UTC
rendered paste body
atfed(K,Mi,Mit):-
	sub_atom(Mi, _, K, 0, Tmp1),
	sub_atom(Mit, 0, K, _, Tmp2),
	Tmp1 = Tmp2.

ellenoriz(_,_,[]).
ellenoriz(K,Elem,[Lista|Listatail],T) :-
	ellenoriz(K,Elem,Listatail),
	atfed(K,Elem,Lista) -> append(Elem,Lista,T).