Presentacin de PowerPoint

1
(No Transcript)
2
Recursividad
b
a
Grafo Nodos conectados por aristas
g
f
d
e
h

• Problema Escribir un programa recursivo para
• 1. Decidir si hay un camino entre dos nodos
  cualquiera del grafo
• 2. Saber todos los nodos alcazanbles desde un
  nodo en particular

3
Orden de las reglas
Verificar usando Trace el orden de la soluciones
en los dos programas. Cual es la diferencia ?
4
Terminación

• 1. Propriedad conmutativa puede causar no
  terminación
• 2. Definiciones circulares pueden causar no
  terminación
• 3. Recursivdad izquierda causa no terminación

Verficar usando Trace la no terminación de query
en los ejemplos. Proponer una solución para
solucionar la propiedad conmutativa de casado.
Verificar que la recursvidad-derecha termina.
5
Orden y Eficencia

• Verificar que
• 1.buscar todos los nietos de un abuelo es mas
  directo y eficiente con la primera regla
• 2. Buscar todos los abuelos de un nieto es mas
  directo y eficiente con la segunda

6
Negación

• La Negación in Prolog se puede implementar con el
  predicado not. Hay que notar pero que no
  coresponde a la negacion logica
• La terminación del predicado not(G) depende de la
  terminación de G Si G no termina, not G podria o
  no terminar
• E not en prolog devuelve cierto solo si el
  predicado a lo que se aplica falla

Que resultado produce not casado(antonio maria)
y casado(antonio maria ) Que resultado produce
Estudiante_no_casado(juan)? Costruir otros
ejemplos donde el not no contesta corectamente