:- include(mondial).
:- table citypopmax(_,po(> /2)).  %% blank before "/" is important!
citypopmax(C,N) :- city(_,C,_,N,_,_,_), N \= null.
?- citypopmax('D',P).