«¿De quién es el pez?», resuelto mediante Prolog
Éste es un viejo acertijo lógico, atribuido a Einstein: El inglés vive en la casa roja. El sueco tiene perro. El danés toma té. El noruego vive en la primera casa. El Alemán fuma Prince. La casa verde queda inmediatamente a la izquierda de la blanca. El dueño de la casa verde toma café. La persona que fuma Pall Mall cría pájaros. El dueño de la casa amarilla fuma Dunhill. El hombre que vive en la casa del centro toma leche. El hombre que fuma Blends vive al lado del que tiene un gato. El hombre que tiene un caballo vive al lado del que fuma Dunhill. El hombre que fuma Bluemaster toma cerveza. El hombre que fuma Blends es vecino del que toma agua. El noruego vive al lado de la casa azul. Ante estas afirmaciones, la pregunta es: ¿de quién es el pez? ...