Esta estrategia elige el redex que esta mas
adentro, entendiendo que el redex no tiene otro
redex. Si existe mas de un redex que cumple dicha
condición se elige el que esta mas a la izquierda.
De afuera hacia adentro
o Call - by - name
Elije al redex que se encuentra mas
afuera. Si existe mas de un redex, que
cumple dicha condición se elige el
que esta mas a la izquierda.
Evaluaciones
que no terminan
TÉCNICAS DE LA
EVALUACIÓN
FUNCIONAL
TÈCNICA DE
BACKTRACKING
Si una alternativa falla, el
flujo retrocede hasta la
ultima desicioó e intenta
de nuevo.
Ejemplo: % La sintaxis es
factorial(N, ! "# actorial de N
es (el resultado se $uarda en
!factorial(, &!.factorial(&,
&!.factorial(N, ! '" N#, N& is N"
&, factorial(N&, &!, is N
&.%el factorial se llama
recursivamente dejando el
resultado en
TÉCNICA DE
GUARDIAS
Si mas de una es cierta, se
escoge cualquiera de ellas.
TÉCNICA DE APRENDIZAJE
REFORZADO
Recordar decisiones exitosas y aumentar su
prioridad así como considerar las decisiones
en el contexto del estado mutable.
0efinición de la función' (defun
vacia (l! (cond ((null l! &! 1 si la
lista esta vacia devuelve & (t !!! 1
en otro caso (lista llena!
devuelve Llamada a la función'
(vacia 2(& 3 4!! 1 La listano esta
vacia, devolvera (vacia 2(!! 1 La
lista esta vacia, devolvera &