Esto es un texto extraído de un libro de programación llamado "Programación en Prolog".
Copio literalmente:

"Supongamos que queremos afirmar que a Juan le gusta todo el mundo. Una forma de hacer esto sería ir escribiendo hechos por separado, así:

le_gusta_a(juan,alfredo).
le_gusta_a(juan,javier).
le_gusta_a(juan,carlos).
le_gusta_a(juan,david).
.
.
.

[...]"

Y luego lo intenta arreglar:

"...
A Juan le gusta cualquiera al que le guste el vino..."

Se sigue leyendo y al final resulta que a Juan le gusta María.xD

Y yo me pregunto...¿porqué llevo dos entradas seguidas en las que aparece algo homosexual? xD