Règle de réécriture
en construction
Définition
xxxxxxx
Français
xxxxxxx
Anglais
rewrite rule
a rule for modifying an expression, often expressed as an input pattern and an output pattern, e.g. (- ?x (- ?y)) -> (+ ?x ?y)
Contributeurs: Arielle Halindintwali, Imane Meziani, wiki