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
Muy vacano, bonita forma de aprender Prolog y de dar a conocer lo que en verdad existe.
Me quede impresionado con el programa de prolog que deduce que Dios existe, por favor seria tan amable en actualizarlo alguien a la version nueva de visual prolog 7.2 para poder mostrar que si trabaja por que esta en una version muy vieja que no funciona en visual prolog version 7.2, y es fantastico eso me dejo super impresionado jamas pense que prolog deduciria que Dios existe.
quisiera que alguien me explicara mas en detalle como esta eso de que el programa prolog deduce la existencia de dios
pues copie el programa y lo ejecute
me salio que no existe
no se k paso ahora me sale Dios = Juanito
lol
ya me di cuanta
con
existe(dios).
false
y con
existe(Dios)
Dios = juanito.
Quisiera que se explicara mas a detalle esto de que prolog afirma la existencia de dios .¿Como es esto si tambien se puede hacer un programa que su rresultado sea la NO existencia de dios?
Quisiera saber si con prolog puedo crear un chatbot com george… gracias!