Un fichier est un ensemble de rêgle(s) et fait(s) que vous pouvez charger.
Un fait est constitué d'un symbole et d'une valeur, un fait ne peut être modifier par le moteur d'inférences. Cependant, avec le tableau dans le dock, l'utilsateur peut modifier une valeur.
Exemple:
symbole = valeur
Une règle est constituée d'un prémisse et d'une conclusion.
Exemple:
conclusion := prémisse
Un conclusion est une liste de faits entrecoupée de et (exprimés avec : '&').
Exemple:
fait
fait1 & fait2 & ... & faitn
Une prémisse est constituée d'une suite de propositions qui ne sont que des comparaisons entre deux valeurs. Ces propositions sont reliées par des connecteurs logiques que sont le et (exprimé avec "&") et le ou (exprimé avec "||").
Exemple:
symboleA == 4 & symboleB > 23
symboleA != symboleB || (symboleC >= 23 & symboleD > 23)