DawidSzcz

war(L1, L2, K):-
	asserta(first(L1)),
	asserta(second(L2)),
	openList(L1, Lo1-D1),
	openList(L2, Lo2-D2),
	war(Lo1-D1, Lo2-D2, []-_, 0, K).
	
war(X-X, _, _, K, K):-
	var(X), !. % X-X identyfikuje sie z kazda lista roznicowa 0_o
war(_, X-X, _, K, K):-