:- include(mondial).
res(C) :- country(_,C,_,_,_,_), hqInCap(C).
hqInCap(C) :- organization(Org,_,Cap,C,CapProv,_), country(_,C,Cap,CapProv,_,_),
              isMember(C,Org,_).
res2(C) :- country(_,C,_,_,_,_), hqInCap2(C).
hqInCap2(C) :- organization(Org,_,Cap,C,CapProv,_), country(_,C,Cap,CapProv,_,_),
               isMember(C,Org,_),!.