Prolog

Ejemplos:
http://www.cs.us.es/~jalonso/publicaciones/2006-int_prolog.pdf

Ejercicios: http://www.cs.us.es/~lvalencia/cursos/IIC/practica1.pl

Descripción:
- Si la cocina está seca y el recibidor mojado entonces la fuga de agua está en el baño.
- Si el recibidor está mojado y el baño está seco entonces el problema está en la cocina.
- Si la ventana está cerrada o no llueve entonces no entra agua del exterior.
- Si el problema está en la cocina y no entra agua del exterior, la fuga de agua está en la cocina.

Evidencias o hechos:

- El recibidor está mojado.

- El baño está seco.

- La ventana está cerrada.

① Pregunta en Prolog:
?- fuga_en_cocina.
Yes