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 existeARGUMENTO DE LA INTIMIDACIÓN
(1) ¿Ves esta enorme hoguera?
(2) Luego Dios existeARGUMENTO DE LA AFIRMACIÓN EN MAYÚSCULAS
(1) DIOS EXISTE, VE ACOSTUMBRÁNDOTE
(2) Luego Dios existeARGUMENTO 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