We will be presenting “Generating and Solving Imperfect Information Games” by Koller and Pfeffer, available here:

http://ai.stanford.edu/~koller/Papers/Koller+Pfeffer:IJCAI95.pdf

The language they present is designed to be similar to Prolog; familiarity with Prolog will not be necessary for our presentation, but it will help (or just familiarity with logic programming in general).