Guía

Módulo 3: Lógica

La programación lógica enseña a describir un problema con hechos y reglas, y a confiar en una búsqueda sistemática. Es la base de los sistemas expertos y una gran escuela de razonamiento.

Duración sugerida: 45 minutos por lección.

Qué se aprende

Lección	Al terminar, puede…
Hechos y preguntas	Escribir hechos y hacer preguntas con variables.
Reglas	Escribir reglas con varias condiciones.
El árbol de búsqueda	Seguir el árbol de búsqueda y explicar el retroceso.
Reto: la biblioteca con lógica	Resolver el problema de la biblioteca con hechos y reglas.

Cómo acompañar

Lean las reglas en voz alta en español: «X es abuelo de Z si…».
En el árbol de búsqueda, sigan una rama roja y pregunten por qué falló.
Inventen familias o equipos propios para hacer preguntas nuevas.

A qué estar atentos

Variables en minúscula: en Prolog, una variable empieza con mayúscula; si no, es un nombre.
Olvidar el punto final de cada hecho o regla.

Soluciones de los retos

Hay muchas soluciones posibles; esta es una. Úsenla para orientar, no para copiar.

Hechos y preguntas: Agrega otro perro llamado bobby y pregunta quiénes son perros (usa la variable Quien).

gato(michi).
perro(firulais).
perro(bobby).
?- perro(Quien).

Abuelos y hermanos: Escribe la regla hermano(X, Y): tienen el mismo padre y no son la misma persona (X \= Y). Pregunta ?- hermano(sofia, H).

padre(juan, ana).
padre(juan, luis).
padre(ana, pedro).
padre(luis, sofia).
padre(luis, tomas).

hermano(X, Y) :-
  padre(P, X),
  padre(P, Y),
  X \= Y.

?- hermano(sofia, H).

La biblioteca con lógica: Presta principito a luis y vuelve a preguntar qué libros están disponibles.

libro(principito, saint_exupery).
libro(cocori, gutierrez).
libro(mamita_yunai, fallas).
prestado(cocori, ana).
prestado(principito, luis).

disponible(T) :-
  libro(T, _),
  \+ prestado(T, _).

?- disponible(T).