6.1.3 Regla de Saltos

Se llama Regla de Saltos en la Evaluación a una expresión que tiene la siguiente forma:
ANT->S A TSaltoA [NumA]
N TSaltoN [NumN]
donde el antecedente ANT expresa las condiciones bajo las cuales tiene sentido la activación de la componente positiva o negativa del sucedente y éste, como ejecutar "saltos" en el proceso evaluativo, donde TSaltoA y TSaltoN{ I , F , D , C } indican el tipo de salto y los parámetros NumA y NumN un valor numérico relacionado solamente con los casos "D" y "C" anteriores.

Significado de la Regla
La regla expresa lo siguiente:
"Si se satisfacen las condiciones establecidas en el antecedente entonces la próxima regla a evaluar será aquella que resulte de ejecutar el salto "TSaltoA" que ha sido definido en la componente positiva del sucedente mientras que si el antecedente no se cumple se saltará hacia la regla que resulte de ejecutar la componente negativa del mismo (TSaltoN) ".

Parámetro TSalto
El convenio para TSaltoA y TSaltoN es:

  • "I" el proceso evaluativo continuará en la primera regla (ir al inicio).
  • "F" el proceso evaluativo continuará en la última regla.
  • "D" pasa a la evaluación de la regla número "NumA" o "NumN" directamente según el caso y que el proceso continúe a partir de ésta.
  • "C" salta una cantidad de reglas igual al valor absoluto de "NumA" o "NumN", teniendo en cuenta que valores positivos indica que el salto es hacia adelante y que el proceso evaluativo continúa en la regla siguiente a la que apuntó el salto ejecutado, mientras que valores negativos indica que el salto es hacia atrás y que el proceso evaluativo continúa en la regla que apunta el salto ejecutado.

Arriba