Un tipo especial de variables lo constituyen las variables automáticas, aquellas que se evalúan en cada regla.