:- include(mondial).
europeanBigCountry(C) :- encompasses(C,'Europe',_),
                         country(_,C,_,_,_,Pop), Pop > 10000000.
hqInCapOf(O,C) :- country(_,C,Cap,CapP,_,_), organization(O,_,Cap,C,CapP,_).
result(O) :- europeanBigCountry(C), isMember(C,O,_), hqInCapOf(O,C).
?- result(X).