2.4 Qu’est ce qu’une règle ?

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 :

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).