:- include(mondial).

res(C) :- country(_,C,_,_,_,_), write(C), nl, city(_,C,_,Pop,_,_,_), Pop \= null, Pop > 1000000.