Semantica dell'esecuzione di una regola

Si distinguono quattro casi a seconda del modo di accoppiamento:

• coupling mode immediato



• coupling mode differito