クラスカード回収の後、冬木での修養と管理を命じられていた凛とルヴィアゼリッタは、イリヤと美遊を連れてその任務に赴く。しかしそこで謎のアクシデントが発生し、そこでイリヤと瓜二つの少女が出現してしまう。少女はイリヤの命を狙うが、凛たちは少女の無力化に成功し、少女はクロという名をつけられる。クロはイリヤスフィールや美遊の通うクラスに転入を果たすが、やがてイリヤはクロと決裂し、一触即発の事態になる。その後、アイリスフィールがイリヤとクロの生い立ちについて説明する。自らがイリヤの内から破棄された存在と知り自棄になるクロだったがイリヤによって救われ、クロはアインツベルン家の一員として迎えられることになる。凛たちを冬木に派遣したイギリスの時計塔から、クラスカード回収の前任者であるバゼット・フラガ・マクレミッツが来日する。バゼットは任務へ復帰するためにエーデルフェルト邸を襲撃し、圧倒的な力でイリヤたちをねじ伏せる。だがイリヤたちはバゼットに一矢報い、やがて凛の到着によって戦いは中断される。凛は存在しないはずの8枚目のカードがある事を明らかにしたのだった。バゼットはイリヤたちと停戦し、彼女たちは共同で8枚目のカード回収に赴く。しかし8枚目のカードの英霊・ギルガメッシュは強力無比で、イリヤたちが合力しても歯が立たない。ギルガメッシュは聖杯を求めて暴走し、美遊を捕縛する。美遊は並行世界で聖杯として生まれた少女だったのである。なお圧倒的な力を振るうギルガメッシュだったが、イリヤはルビー・サファイアの二つのステッキを駆使してギルガメッシュとぶつかり、勝利を収めた。しかしその直後、戦いの余波で破れた時空の狭間から謎の女性二人が舞い降り、美遊を攫って立ち去ってしまう。遅れて戦地へとやってきたアイリスフィールが目にしたものは、戦いの痕跡などまるで残っていないただの森であった。
冬木市の穂群原学園小等部に通う女の子イリヤスフィール・フォン・アインツベルンは、ある夜飛来してきたカレイドステッキの人工天然精霊・マジカルルビーによって強制的に契約を結ばれ、魔法少女プリズマイリヤになる。そして本来のカレイドステッキの持ち主の魔術師・遠坂凛に命令され、冬木に眠る強力な力を持つクラスカードの回収の手伝いをすることになる。そんな中、凛の相方である魔術師ルヴィアゼリッタ・エーデルフェルトが、もう一つのカレイドステッキ・マジカルサファイアと契約した謎の少女・美遊を引き連れてイリヤの前に姿を現す。クラスカードには英霊を実体化させるという能力が施されていた。イリヤと美遊は魔法少女として英霊たちと戦って勝利しなければならない。当初はぎくしゃくしていたイリヤと美遊だったが、肩を並べて戦ううちに友情が芽生える。ある時、イリヤが命の危機にさらされた時、彼女に施されていた封印が解けて強力な魔力を放出するという事件が発生する。イリヤは自分の正体不明の力に恐れ戦き、カード回収の任務を放棄してしまう。美遊はイリヤの心情を察し、単身最後のカード回収に挑む。しかし思わぬ苦戦を強いられ絶体絶命となるが、母アイリスフィール・フォン・アインツベルンに諭されたイリヤが再び戦場に舞い戻り、美遊と協力して遂にカード回収任務を達成した。
並行制約プログラミング(Concurrent Constraint Programming)は、制約論理プログラミングの研究と並行論理プログラミングの研究とから生まれた、並行プログラミングのためのパラダイムである。並行制約プログラミングでは並行論理プログラミングをより一般化し、制約の出力(追加, tell)と入力(観測, ask)を行う複数のプロセス（エージェント）でプログラミングを行う。 並行制約プログラミングは、制約充足系（constraint solver）の記述ではなく、複数のプロセス（エージェント）の制御やプロセス間通信の記述を目的としている。
ブール領域（Boolean Domain）は真偽値の制約だけを扱う領域である。制約は一般的な論理演算子で構成される等式として表現される。制約処理方法としては、Booleの変数除去に基づいたブーリアン・ユニフィケーションやSL-導出（SL-resolution）のブール式への応用など様々なものがある。Prolog ⅢやCHIP(Constraint Handling In Prolog)などの処理系ではブール領域の制約を扱うことができる。
ケルゲレン諸島は約 220 万km²にも及ぶケルゲレン=ハード海台の海上部分を形成している。諸島の地上部に見られる地質形態の主要部分は、トラップ（溶岩台地）型の噴出火山活動の特徴を有し、その海面上への出現は、3,500万年前から始まった。集積量は著しく、玄武岩質溶岩流の層の厚さは、それぞれ3～10mあり、互いに重なり合い、時には1200m以上の厚さとなることもある。このタイプの溶岩流出活動は、階段型またはピラミッド型の巨大な地形を形成する。局部的には他の火山性の形態も存在する。特に、ロス山を形成するストロンボリ型火山と、ラリエデュバティ半島の深成岩複合火山がある。粗面岩、粗面岩フォノライト、フォノライトの様々な岩脈と溶岩噴出が島の各地に見られる。歴史上に記録された噴火はないが、主島南西部における噴煙活動は依然として活発である。若干程度の褐炭層が玄武岩質溶岩流の層間に出現し、約1400万年前と推定されるアローカリア（ナンヨウスギ）科の化石が埋蔵されている。最後に、氷河作用が、陥没と傾斜現象を発生させ、列島の北部と東部に湾を形成した。氷河と河川による浸食作用が、渓谷とフィヨルドを形作り、また礫岩の砕屑（さいせつ）複合地層と、クールベ半島平野を形成した。ケルゲレン諸島は、ケルゲレン微小大陸と呼ばれるマイクロコンチネントが海に沈んだ一部である。マイクロコンチネントは1億年前から2千万年前にかけて3期間出現した。ケルゲレン大陸には熱帯性動植物の化石が存在すると思われる。現在は水面下1～2kmにある。ケルゲレンの堆積岩はオーストラリアとインドのものに似ており、これらが昔つながっていたことを示す。ケルゲレン大陸の調査により、オーストラリア、インド、南極が分裂した様子が分かると科学者は期待している。