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

9 comentarios to “Para esto sirve aprender Prolog”

  1. jonny dijo::

    Muy vacano, bonita forma de aprender Prolog y de dar a conocer lo que en verdad existe.

  2. Lic Leonel Herrera Rivera dijo::

    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.

  3. mario dijo::

    quisiera que alguien me explicara mas en detalle como esta eso de que el programa prolog deduce la existencia de dios

  4. navo dijo::

    pues copie el programa y lo ejecute

    me salio que no existe

  5. navo dijo::

    no se k paso ahora me sale Dios = Juanito

    lol

  6. navo dijo::

    ya me di cuanta
    con
    existe(dios).
    false

    y con

    existe(Dios)

    Dios = juanito.

  7. mario dijo::

    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?

  8. Flor dijo::

    Quisiera saber si con prolog puedo crear un chatbot com george… gracias! 🙂

  9. Carlos dijo::

    Interesante; lamentablemente:
    1) No funciona en SWI-Prolog. Me gustaría saber como se puede hacer que funcione en ese programa.
    2) No me queda muy en claro cuál es el argumento subyacente que se encuentra recogido en el programa.

    Por último, me recuerda dos historias de ciencia ficción:
    a) el cuento “Razon” (Reason), de Isaac Asimov, que se encuentra recogido en la colección “Yo, robot”
    b) los cylones de BatleStar Galactica (la versión nueva)

Deje un comentario