EgisonでPrologで言うところの連言を扱ってみる

fun.egi

(define $warriors
  {["nagisa_misumi" "futari_ha" "black"]
   ["honoka_yukishiro" "futari_ha" "white"]
   ["hikari_kujo" "max_heart" "luminus"]
   ["saki_hyuga" "splash_star" "bloom"]
   ["mai_misho" "splash_star" "eaglette"]
   ["nozomi_yumehara" "yes" "dream"]
   ["rin_natsuki" "yes" "rouge"]
   ["urara_kasugano" "yes" "lemonade"]
   ["komachi_akimoto" "yes" "mint"]
   ["karen_minazuki" "yes" "aqua"]
   ["geki" "juranger" "tirano"]
   ["goushi" "juranger" "manmos"]
   ["dan" "juranger" "torikera"]
   ["boy" "juranger" "tiger"]
   ["mei" "juranger" "ptera"]
   ["burai" "juranger" "dragon"]
   })

(define $series
  {["precure" "splash_star"]
   ["precure" "futari_ha"]
   ["precure" "yes"]
   ["super_squadron" "juranger"]})

(define $search
  (lambda [$season-name]
    (match-all [series warriors] [(set [string string]) (set [string string string])]
      [[<cons [,season-name $series] _> <cons [$name ,series _] _>] [name series]])))