% Aufgabe 1

istHauptstadtVon(paris,frankreich).
istHauptstadtVon(london,grossbritanien).
istHauptstadtVon(rom,italien).
istHauptstadtVon(ottawa,kanada).
istHauptstadtVon(abuja,nigeria).
istHauptstadtVon(peking,china).
istHauptstadtVon(washington,usa).

liegtInKontinent(frankreich,europa).
liegtInKontinent(grossbritanien,europa).
liegtInKontinent(italien,europa).
liegtInKontinent(kanada,amerika).
liegtInKontinent(nigeria,afrika).
liegtInKontinent(china,asien).
liegtInKontinent(usa,amerika).

% Aufgabe 2

liegtInA(rom,europa) :-
	istHauptstadtVon(rom,italien),
	liegtInKontinent(italien,europa).

liegtInB(Stadt,europa) :-
	istHauptstadtVon(Stadt,Land),
	liegtInKontinent(Land,europa).

liegtIn(Stadt,Kontinent) :-
	istHauptstadtVon(Stadt,Land),
	liegtInKontinent(Land,Kontinent).

% Aufgabe 3

% ?- istHauptstadtVon(rom,frankreich).
% ?- istHauptstadtVon(paris,frankreich).
% ?- liegtInKontinent(nigeria,asien).
% ?- istHauptstadtVon(Stadt,italien).
% ?- istHauptstadtVon(peking,Land).
% ?- liegtInKontinent(Land,europa).
% ?- liegtIn(Stadt,europa).
% ?- liegtIn(Stadt1,Kontinent), liegtIn(Stadt2,Kontinent).