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