Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 153 vistas

    4.1 Reporte de Lenguaje Logico

    Cargado por

    NOT F4ZY
    Este documento presenta un reporte sobre lenguajes lógicos de programación. Explica que la programación lógica se basa en especificar relaciones entre entidades mediante axiomas y reglas de inferencia en lugar de instrucciones imperativas. Menciona que Prolog, Mercury y CLP(FD) son ejemplos de lenguajes lógicos, y que Prolog se usa para representar y razonar sobre conocimiento, Mercury es derivado de Prolog pero más útil para problemas del mundo real, y CLP(FD) extiende Prolog para problemas de satisfacción de

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd

    4.1 Reporte de Lenguaje Logico

    Cargado por

    NOT F4ZY
    153 vistas4 páginas
    Este documento presenta un reporte sobre lenguajes lógicos de programación. Explica que la programación lógica se basa en especificar relaciones entre entidades mediante axiomas y reglas de inferencia en lugar de instrucciones imperativas. Menciona que Prolog, Mercury y CLP(FD) son ejemplos de lenguajes lógicos, y que Prolog se usa para representar y razonar sobre conocimiento, Mercury es derivado de Prolog pero más útil para problemas del mundo real, y CLP(FD) extiende Prolog para problemas de satisfacción de

    Descripción original:

    REPORTE DE LENGUAJE LOGICO

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    DOCX, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento presenta un reporte sobre lenguajes lógicos de programación. Explica que la programación lógica se basa en especificar relaciones entre entidades mediante axiomas y reglas de inferencia en lugar de instrucciones imperativas. Menciona que Prolog, Mercury y CLP(FD) son ejemplos de lenguajes lógicos, y que Prolog se usa para representar y razonar sobre conocimiento, Mercury es derivado de Prolog pero más útil para problemas del mundo real, y CLP(FD) extiende Prolog para problemas de satisfacción de

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    153 vistas4 páginas

    4.1 Reporte de Lenguaje Logico

    Cargado por

    NOT F4ZY
    Este documento presenta un reporte sobre lenguajes lógicos de programación. Explica que la programación lógica se basa en especificar relaciones entre entidades mediante axiomas y reglas de inferencia en lugar de instrucciones imperativas. Menciona que Prolog, Mercury y CLP(FD) son ejemplos de lenguajes lógicos, y que Prolog se usa para representar y razonar sobre conocimiento, Mercury es derivado de Prolog pero más útil para problemas del mundo real, y CLP(FD) extiende Prolog para problemas de satisfacción de

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    de 4

    Universidad Autónoma de Nuevo León

    Facultad de Ingeniería Mecánica Eléctrica

    LAB. Lenguajes de Programación


    4.1 Reporte de Lenguaje Lógico

    Grupo: 013
    Ingeniera: Carlos Alberto Exena Cantú
    Nombre: Fernando Yahir García Dávila
    Matriucla:1995329
    Materia: LAB. Lenguajes de Programación
    Carrera: ITS

    Monterrey N.L, San Nicolas de los Garza, 16 de Octubre del 2022


    ¿Qué es un Lenguaje lógico?
    La programación lógica es una variedad de lo que conocemos con programación
    declarativa, un paradigma opuesto a prácticamente todos los lenguajes de
    programación populares, desde ensamblador a Python pasando por BASIC, C o
    Java, a los que agrupamos en la categoría de la programación imperativa. En
    dichos lenguajes, la labor del programador es establecer cómo se resuelve un
    problema mediante sentencias. Sin embargo, la programación lógica no gira en
    torno al cómo, sino al qué: se trabaja de forma descriptiva, estableciendo
    relaciones entre entidades, lo que obliga a los que los lenguajes tengan  un alto
    nivel de abstracción.

    Este paradigma se basa en la fórmula "algoritmos = lógica + control" (la llamada


    Ecuación Informal de Kowalski), lo que significa que un algoritmo se crea
    especificando conocimiento mediante axiomas (lógica) y el problema se resuelve
    mediante un mecanismo de inferencia que actúa sobre el mismo (control).

    ¿Para qué sirven?


    Estudia el uso de la lógica para el planteamiento de problemas y el control sobre
    las reglas de inferencia para alcanzar la solución automática Es aquel tipo de
    programación que permite al software “razonar”, esto es, hacer razonamientos, por
    ejemplo, de tipo deductivo o inductivo.

    Ejemplos de Lenguajes Lógicos:


    Los siguientes son algunos de los lenguajes de programación que emplean como
    paradigma la programación lógica:
    Prolog: Es un Lenguaje de Programación diseñado para representar y utilizar el
    conocimiento que se tiene sobre un determinado dominio. Los programas en
    Prolog responden preguntas sobre el tema del cual tienes conocimiento.

    Mercury: Mercury es un lenguaje de alto nivel (es decir, no se preocupa de


    problemas como la reserva y liberación de memoria) derivado de Prolog, pero con
    una implementación que le hace ser más útil para representar y tratar problemas
    del mundo real. 

    CLP (FD): Otra extensión de Prolog, especializado en los problemas CSPs


    (Constraint Satisfaction Problem). De forma general, podemos decir que un
    programa en CLP(FD) consta de tres partes: “generación de variables” (donde
    también se especifica su domino), “definición de restricciones” (sobre las
    variables) y “labeling”, donde se instancian las variables por enumeración.

    Godel: Gödel es un lenguaje en el que las sentencias lógicas llevan un orden y en


    el que existe el polimorfismo. Está basado en módulos (que aceptan polimorfismo)
    y en tipos de datos (soporta enteros y racionales con una precisión infinita, y
    número en coma flotante) y tiene una amplia librería de módulos predefinidos.
    Conclusión:
    En este tema vimos un poco sobre lo que es el lenguaje lógico, vimos un poco de
    lo que es y para que sirve, cuál es su función principal y algunas de sus
    características y varios ejemplos de los tipos de programas que utilizan el lenguaje
    lógico en su código.
    Bibliografía:

     Merino, M. (2020, agosto 9). El lenguaje Prolog: un ejemplo del paradigma de programación lógica.

    Genbeta.com; Genbeta. https://www.genbeta.com/desarrollo/lenguaje-prolog-ejemplo-paradigma-

    programacion-logica

     Programación lógica UNAL. (s/f). Github.Io. Recuperado el 17 de octubre de 2022, de

    https://ferestrepoca.github.io/paradigmas-de-programacion/proglogica/logica_teoria/lenguaje.html

    También podría gustarte