Ajuda em questões académicas em Prolog

% Base de Conhecimento (alguns factos comentados)
%no(pos,nomeUser,ListaTags)
no(1,ana,[natureza,pintura,musica,sw,porto]).
No(11,antonio,[natureza,pintura,carros,futebol,lisboa]).
No(12,beatriz,[natureza,musica,carros,porto,moda]).

No(13,carlos,[natureza,musica,sw,futebol,coimbra]).
No(14,daniel,[natureza,cinema,jogos,sw,moda]).
No(21,eduardo,[natureza,cinema,teatro,carros,coimbra]).

No(22,isabel,[natureza,musica,porto,lisboa,cinema]).
No(23,jose,[natureza,pintura,sw,musica,carros,lisboa]).
No(24,luisa,[natureza,cinema,jogos,moda,porto]).

No(31,maria,[natureza,pintura,musica,moda,porto]).
No(32,anabela,[natureza,cinema,musica,tecnologia,porto]).
No(33,andre,[natureza,carros,futebol,coimbra]).

No(34,catia,[natureza,musica,cinema,lisboa,moda]).
No(41,cesar,[natureza,teatro,tecnologia,futebol,porto]).
No(42,diogo,[natureza,futebol,sw,jogos,porto]).

No(43,ernesto,[natureza,teatro,carros,porto]).
No(44,isaura,[natureza,moda,tecnologia,cinema]).
No(200,sara,[natureza,moda,musica,sw,coimbra]).

No(51,rodolfo,[natureza,musica,sw]).
No(61,rita,[moda,tecnologia,cinema]).

Obter os utilizadores que tenham em comum Xtags sendo X parametrizável. Deve ter em atenção que duas tags sintaticamente diferentes podem ter o mesmo significado semântico (e.g. C# e CSharp).