Le programme utilise deux prédicats : un pour la substitution (subst/3) et un pour la reconnaissance de motifs (match/2).
Pour écrire des règles de réécriture, on a besoin des opérateurs `>>>' (règles) et `if' (conditions).
:-op(950,xfx,>>>). :-op(949,xfx,if).