Reto: la biblioteca con lógica

La biblioteca, ahora como detective. En vez de contar o recorrer, describimos lo que es verdad:

• Qué libros hay, con su autor: libro(cocori, gutierrez).
• Qué libros están prestados y a quién: prestado(cocori, ana).
• Una regla: un libro está disponible si existe y no se puede probar que esté prestado. Eso se escribe \+.

Comparado con lo anterior

• Es lo más parecido a decir el problema en palabras.
• Preguntas nuevas salen gratis: ?- prestado(T, ana). dice qué libros tiene Ana, sin escribir nada más.
• Pero no es bueno para todo: hacer cuentas o dibujar en pantalla es incómodo en Prolog.

Marcar como terminada