«¿De quién es el pez?», resuelto mediante Prolog

Sat, 26 Dec 2015 19:02:00 +0100

É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?

SWI-Prolog conoce el sentido de la vida, del universo y de todo lo demas

Tue, 18 Jan 2011 12:22:00 +0100

Ejecutamos swipl, uno de los compiladores de Prolog libres:

$ swipl

Y si le interrogamos por el valor de una variable de la cual no puede inferir ningún valor…

% library(swi_hooks) compiled into pce_swi_hooks 0.00 sec, 2,060 bytes
Welcome to SWI-Prolog (Multi-threaded, 32 bits, Version 5.8.2)
Copyright (c) 1990-2009 University of Amsterdam.
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain conditions.
Please visit http://www.swi-prolog.org for details.

For help, use ?- help(Topic). or ?- apropos(Word).

?- K.
% ... 1,000,000 ............ 10,000,000 years later
%
% >> 42 << (last release gives the question)

Swipl on Karpoke - Just Another Blog

«¿De quién es el pez?», resuelto mediante Prolog

SWI-Prolog conoce el sentido de la vida, del universo y de todo lo demas