Games for Logic and Programming Languages XII