May 22

Prolog, proveniente del francés Programation et Logique, es un lenguaje de programación lógico e interpretado, bastante popular en el medio de investigación en Inteligencia Artificial.
Wikipedia

Aprendí a usarlo en las asignaturas “Fundamentos Lógicos de la Programación” y “Programación Declarativa”. pero nunca pensé que podría usarse para esto:

todopoderoso(dios).
muy_religioso(juanito).

ayuda(Y,X) :- cree_en(X,Y), ayuda(X,X).
ayuda(X,X) :- fuerza_de_voluntad(X).
fuerza_de_voluntad(X) :- muy_religioso(X).
cree_en(X,dios) :- muy_religioso(X).
existe(X) :- ayuda(X,_), ayuda(_,X).
mejora_milagrosamente(X) :- ayuda(Y,X), todopoderoso(Y).

?- existe(dios).
true

Por cierto, tremendos los comentarios de la noticia del menéame en los que lo vi. Estos “argumentos” que demuestran la existencia de Dios me encantan:

ARGUMENTO DEL EVANGELISTA AMERICANO
(1) Decirle a la gente que Dios existe me ha hecho inmensamente rico
(2) Luego Dios existe

ARGUMENTO DE LA INTIMIDACIÓN
(1) ¿Ves esta enorme hoguera?
(2) Luego Dios existe

ARGUMENTO DE LA AFIRMACIÓN EN MAYÚSCULAS
(1) DIOS EXISTE, VE ACOSTUMBRÁNDOTE
(2) Luego Dios existe

ARGUMENTO DE GOOGLE
Dios no existe 585.000 -> www.google.es/search?hl=es=
Dios existe 581.000 -> www.google.es/search?hl=es=
(1) Google dice que Dios no existe, más veces que que sí exista.
(2) Google es Dios
(3) Luego Dios existe