Módulos › Lógica
Módulo 3
Lógica
¿Cómo deduzco respuestas a partir de reglas?
- Lenguaje
- Prolog
- La metáfora
- Un detective con hechos, reglas y preguntas
- Estructuras
- Árbol de búsqueda y grafo de relaciones
- Hechos y preguntasDecirle a Prolog qué es verdad y preguntarle.
- Reglas«Es abuelo si es padre de un padre»: reglas que deducen.
- El árbol de búsquedaCómo busca Prolog, y qué es retroceder.
- Reto: la biblioteca con lógicaDeducir qué libros están disponibles.