Documentos de Académico
Documentos de Profesional
Documentos de Cultura
LÓGICA CON
NÚMEROS, LISTAS Y
ÁRBOLES
MODELO DE PROGRAMACIÓN LÓGICA
PROGRAMACIÓN LÓGICA
• Unificación simbólica
• ?- X = 1+2.
• X = 1+2.
• Comparación simbólica
• ?- 3+5==2+6.
• no
• ?- 3+5==3+5.
• yes
ACTIVIDADES
personas
a *
b c