Skip to content

Instantly share code, notes, and snippets.

@kb10uy
Created July 16, 2018 13:35
Show Gist options
  • Save kb10uy/333278b8d56e3c6b5add07ddc5339dd6 to your computer and use it in GitHub Desktop.
Save kb10uy/333278b8d56e3c6b5add07ddc5339dd6 to your computer and use it in GitHub Desktop.
cute(uzuki).
cute(miho).
cute(kyoko).
cute(kana).
cute(sachiko).
cute(sae).
cute(noriko).
cute(yuakri).
cute(yuka).
cute(karin).
cute(momoka).
cute(shiki).
cute(mirei).
cute(mayu).
cool(rin).
cool(karen).
cool(nao).
cool(hajime).
cool(asuka).
cool(ranko).
cool(chie).
cool(arisu).
cool(fumika).
cool(minami).
cool(nono).
passion(mio).
passion(akane).
passion(aiko).
passion(yuki).
passion(shizuku).
passion(sanae).
passion(yuuko).
passion(yumi).
passion(airi).
passion(shoko).
unit(new_generations, uzuki, rin, mio).
unit(pink_check_school, uzuki, miho, kyoko).
unit(triad_primus, rin, karen, nao).
unit(positive_passion, mio, akane, aiko).
unit(dark_illuminate, ranko, asuka).
unit(mellow_yellow, yuka, yukari, noriko).
unit(sexy_guilty, sanae, shizuku, yuuko).
unit(vivid_color_age, kana, hajime, aiko).
unit(indigo_bell, karin, aiko).
unit(flowery, yumi, aiko).
unit(ais, airi, aiko).
unit(individuals, mirei, nono, shoko).
unit(under_the_desk, mayu, nono, shoko).
unit(kawaii_bokuto_yakyuu_dosue, sachiko, yuki, sae).
single_type(X) :- cute(A), cute(B), cute(C), unit(X, A, B, C).
single_type(X) :- cool(A), cool(B), cool(C), unit(X, A, B, C).
single_type(X) :- passion(A), passion(B), passion(C), unit(X, A, B, C).
all_type(X) :- cute(A), cool(B), passion(C), unit(X, A, B, C).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment