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érence. Cependant avec le tableau dans le dock l'utilsateur peut modifier une valeur.
Exemple:
symbole = valeur
Une règle est constitué d'un prémisse et d'une conclusion.
Exemple:
conclusion := prémisse
Un conclusion est un liste de fait entrecouper de et '&'.
Exemple:
fait
fait1 & fait2 & ... & faitn
Une prémisse est constitué d'une suite de proposition qui ne sont que des comparaisons entre deux valeur. Ces propositions sont relier par des connecteur logique que sont le et "&" et le ou "||".
Exemple:
symboleA == 4 & symboleB > 23
symboleA != symboleB || (symboleC >= 23 & symboleD > 23)