gewinner(Spiel,Mannschaft) :- spiel(Spiel,Mannschaft,_).
gewinner(Spiel,Mannschaft) :- spiel(Spiel,_,Mannschaft).

spiel(achtelfinale1,a1,b2).
spiel(achtelfinale2,c1,d2).
spiel(achtelfinale3,e1,f2).
spiel(achtelfinale4,g1,h2).

spiel(viertelfinale1,Heim,Gast) :-
	gewinner(achtelfinale1,Heim), gewinner(achtelfinale2,Gast).
spiel(viertelfinale2,Heim,Gast) :-
	gewinner(achtelfinale3,Heim), gewinner(achtelfinale4,Gast).

mannschaft(a1,M) :- elem(M,[deutschland,costaRica,polen,ecuador]).
mannschaft(b2,M) :- elem(M,[england,paraguay,trinidad,schweden]).
mannschaft(c1,M) :- elem(M,[argentinien,elfenbeinkueste,serbien,niederlande]).
mannschaft(d2,M) :- elem(M,[mexiko,iran,angola,portugal]).
mannschaft(e1,M) :- elem(M,[italien,ghana,usa,tschechien]).
mannschaft(f2,M) :- elem(M,[brasilien,kroatien,australien,japan]).
mannschaft(g1,M) :- elem(M,[frankreich,schweiz,korea,togo]).
mannschaft(h2,M) :- elem(M,[spanien,ukraine,tunesien,saudiarabien]).

juni30(H,G) :-
	spiel(viertelfinale1,Heim,Gast),
	mannschaft(Heim,H), mannschaft(Gast,G).