PARADIGMA LGICO

OMAR GUZMN PEA LAURA ESTRADA

CORPORACIN UNIVERSITARIA DE LA COSTA CUC Barranquilla 2011

PROGRAMACIN LGICA
Este concepto de programacin lgica est ligado histricamente a un lenguaje llamado Prolog, que proviene de PROgrammation en LOGique (programacin en lgica), que fue el primer lenguaje de programacin lgico y el ms conocido y utilizado.

La Programacin Lgica es un Paradigma de Programacin basado en la Lgica. Los programas construidos en un lenguaje lgico estn, construidos nicamente por expresiones lgicas, es decir, que son ciertas o falsas, en oposicin a un expresin interrogativa (una pregunta) o expresiones imperativas (una orden)

ESTRUCTURA DEL PARADIGMA LOGICO

Estructurado como conjunto de asertos o proposiciones o hechos de reglas lgicas establecidas apriori, que generan conclusiones ya sea a partir de una serie de preguntas o por cuestiones lgicas, de modo que tales conjunto de hechos o asertos y reglas permitirn deducir nuevos hechos

El Paradigma Lgico se basa en la creacin de reglas por parte del programador, que luego sern aplicadas para resolver ciertos problemas dados y en los que se pueden destacar los siguientes aspectos:
Ejecucin: Meta que intenta probarse a partir de los hechos y reglas. Aplicacin de reglas por backtracking: Mtodo de resolucin. Soporte de la informacin Lista. Lgica: Asertos y reglas. Control: Mecanismo de resolucin. Estructuras de datos: Constantes, variables y listas.

DESCRIPCION DEL PARADIGMA LOGICO

La representacin en el Paradigma Lgico abarca los siguientes aspectos: TERMINOS: Variables (A, B, X), Constantes (Cayo, 2, Moto) y Funciones cuyos argumentos son trminos (f(x), padre(Cayo)). PREDICADOS: Smbolos de n argumentos (que son trminos) que toman el valor verdadero o falso. Moto(X), Valioso(veloz), Es-padre(veloz, padre(cometa)). CLAUSULAS DE HORN: Hechos o reglas formadas por varios antecedentes (conjuncin) y un consecuente. Consecuente: antecedente1, antecedente2, . . . La disyuncin se representa aadiendo reglas.

PROLOG, EL LENGUAJE LGICO

Prolog es utilizado para el desarrollo de aplicaciones de inteligencia artificial debido a su forma de representar el conocimiento, facilitando las bsquedas en bases de datos, la escritura de compiladores, la construccin de sistemas expertos, el procesamiento de lenguaje natural y la programacin automtica.

En Prolog, las cosas son distintas: el orden de ejecucin de las instrucciones no tiene nada que ver con el orden en que fueron escritas. Las instrucciones de Prolog se llaman "reglas o clusulas de Horn" y esencialmente pueden representarse as: "Hacer esto si se cumplen tales o cuales condiciones".

EL BACKTRACKING
Para obtener las soluciones a las clusulas objetivo solicitadas, Prolog utiliza una tcnica de borrado que consiste en reemplazar cada submeta por los consecuentes de todas las reglas de la base que la satisfacen. Para poder hacer esto utiliza el backtracking, que es el mecanismo para la bsqueda de datos de Prolog, totalmente invisible para el usuario. De esta forma se verifica si existe cierto hecho determinado o si se cumple algn goal.