regole e sostituzioni: Dal punto di vista sintattico, una regola è una lista di oggetti del tipo
x=>y o
x:=>y. Si definisce variabile o modello
x se si tratta, rispettivamente, di una variabile o no; si definisce immagine
y e si definisce uguale
x=>y o
x:=>y. Una sostituzione è una regola definita esclusivamente da variabili. Se si sceglie
=>, si usa il valore di
y per definire la regola, mentre invece, scegliendo
:=>, verrà considerata
y come la variabile durante la definizione della regola.
I simboli => e :=> possono essere creati con le icone
e
, rispettivamente.
Applicando una regola a un'espressione, tutte le occorrenze di ogni modello (o variabile) contenute in tale espressione vengono sostituite dall'immagine del relativo modello (o variabile). I termini che non coincidono con il modello (o variabile) non vengono modificati.