:- include(mondial).
res(C) :- country(_,C,_,_,_,_), hqInCap(C).
hqInCap(C) :- 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'.