Mario R. F. Benevides,  Ricardo F. Ribeiro. 

This work proposes a Game Prolog (Modal Action Language), which aims to represent and reasoning about extensive games. A sound SLD resolution method is present. The language is extended with choice, sequential composition, converse and strategy operators. The use of the converse modality is discussed when representing and reason about actions that were performed in the past.

http://www.lbd.dcc.ufmg.br/colecoes/enia/2005/097.pdf

Processando consulta.