Une règle est une formule qui se présente sous la forme A ⇒ B.
A est appelé antécédent de la règle.
B est appelé conséquent de la règle.
A et B peuvent être des conjonctions de prédicats.
A peut être omis. Dans ce cas, la règle est dite atomique.
Une règle peut être :
btest(p<=q) => max{{p}\/{q}} == q
|
peut s’appliquer sur le but :
0 ≤ max({3}∪{5}) - min(1..4)
pour le transformer en :
0 ≤ 5 - min(1..4)
Les règles, contrairement aux hypothèses et au but, contiennent des jokers.
Un joker est une variable, qui peut prendre n’importe quelle valeur (littéral, expression,
...).
Si on lui affecte une valeur, on dit alors qu’il est instancié.
Un joker est représenté par une lettre de l’alphabet : on ne peut donc pas avoir plus de 52
jokers à l’intérieur d’une même règle (majuscules et minuscules).