Nous allons présenter ici le formalisme utilisé pour décrire les jeux de dialogue et les agents. Ce formalisme est directement utilisable pour décrire effectivement les jeux et les agents en Prolog.
