AI要約ポケモンカードの初手にカスミが含まれる確率を、PrologとPRISMでモデル化して求める実装を紹介する。 デッキ表現や初期手札の条件を具体的なコードで示し、検証過程も追っている。