Description des jeux

JEU $\longrightarrow$

game NOM = { DESCR_JEU* } .

Le nom d'un jeu est un terme Prolog contenant les variables qui caractérisent les instances des jeux de ce type.

Un jeu peut posséder les attributs suivants :

• Conditions d'entrée
• Invariants
• Conditions de sortie
• Règles de perception
• Règles de mise à jour
• Règles de génération
• Règles d'interdiction

Un jeu peut aussi importer les règles d'un jeu déjà défini. Dans ce cas, le nom utilisé est le terme complet représentant le jeu importé afin de lier les nouvelles règles à celles du jeu importé.

DESCR_JEU $\longrightarrow$

import JEU
| entrance = EXPR
| invariant = EXPR
| exit = EXPR
| perception = { REGLE* }
| update = { REGLE* }
| generation = { REGLE* }
| interdiction = { REGLE* }

REGLE $\longrightarrow$

EXPR $\Longrightarrow$ EXPR [ `|' EXPR ] [# EXPR]

La partie optionnelle de la règle [ `|' EXPR ] permet de spécifier des conditions d'application de la règle qui ne peuvent pas s'exprimer uniquement avec des états mentaux (par exemple l'extraction d'une sous formule). La partie optionnelle de la règle [# EXPR] permet de modifier le poids de la règle (de génération ou d'interdiction). La valeur par défaut est 1.