プリキュアとスーパー戦隊を区別する

fun.pro

warrior(nagisa_misumi, futari_ha, black).
warrior(honoka_yukishiro, futari_ha, white).
warrior(hikari_kujo, max_heart, luminus).
warrior(saki_hyuga, splash_star, bloom).
warrior(mai_misho, splash_star, eaglette).
warrior(nozomi_yumehara, yes, dream).
warrior(rin_natsuki, yes, rouge).
warrior(urara_kasugano, yes, lemonade).
warrior(komachi_akimoto, yes, mint).
warrior(karen_minazuki, yes, aqua).

warrior(geki, juranger, tirano).
warrior(goushi, juranger, manmos).
warrior(dan, juranger, torikera).
warrior(boy, juranger, tiger).
warrior(mei, juranger, ptera).
warrior(burai, juranger, dragon).

series(precure, splash_star).
series(precure, futari_ha).
series(precure, yes).

series(super_squadron, juranger).

% 1 ?- warrior(X, Y, _), series(precure, Y).
% X = nagisa_misumi,
% Y = futari_ha ;
% X = honoka_yukishiro,
% Y = futari_ha ;
% X = saki_hyuga,
% Y = splash_star ;
% X = mai_misho,
% Y = splash_star ;
% X = nozomi_yumehara,
% Y = yes ;
% X = rin_natsuki,
% Y = yes ;
% X = urara_kasugano,
% Y = yes ;
% X = komachi_akimoto,
% Y = yes ;
% X = karen_minazuki,
% Y = yes ;

% 2 ?- findall(X, (warrior(X, Y, _), series(precure, Y)), List).
% List = [nagisa_misumi, honoka_yukishiro, saki_hyuga, mai_misho, nozomi_yumehara, rin_natsuki, urara_kasugano, komachi_akimoto, karen_minazuki].