Pour implanter un modèle de la théorie des jeux de dialogue, nous avons besoin d'un langage de description des agents, des jeux et des ensembles de règles utilisées dans les jeux. Pour simplifier l'analyse des descriptions, le langage est basé sur celui de Prolog. Les objets décrits dans le langage sont des termes syntaxiquement analysables par Prolog. Il suffira donc d'écrire l'analyseur sémantique et de produire les clauses Prolog correspondantes.
Nous ne décrivons ici que le langage. La génération de code Prolog dépend de l'implémentation retenue et sera présentée en annexe.