:- include(mondial).
res(C) :- country(_,C,Cap,CapP,_,_), hqInCap(C,Cap,CapP).
hqInCap(C,Cap,CapP) :- organization(Org,_,Cap,C,CapProv,_), check(Cap,Org),
              country(_,C,Cap,CapProv,_,_), isMember(C,Org,_).
check(X,Y) :-  X = 'Paris',  write('test '), write(X), write(' '),
                   write(Y), nl.
check(X,Y) :-  X \= 'Paris'.