Paradigma Logico

 

PARADIGMA LÓGICO 

OMAR GUZMÁN PEÑA LAURA ESTRADA

CORPORACIÓN UNIVERSITARIA DE LA COSTA CUC  Barranquilla 2011

 

PROGRAMA PROGR AMACIÓN CIÓN LÓGICA Este concepto de programación lógica está ligado históricamente a un lenguaje llamado Prolog, q que ue proviene de PROgra PROgrammation mmation en LOGiqu LOGique e (programación en lógica), que fue el primer lenguaje de programación lógico y el más conocido y utilizado.

La Programación Lógica es un Paradigma de Programación basado en  la Lógica. Los programasporconstruidos un lenguaje lógico construidos únicamente expresionesenlógicas, es decir, queestán, son  ciertas o falsas, en oposición a un expresión interrogativa (una pregunta)  o expresiones imperativas (una orden) 

 

EST ES T RUCT URA DEL PARADIG M A LOGICO

Estructurado como conjunto de asertos o proposiciones o hechos de reglas lógicas establecidas apriori, que generan conclusiones ya sea a partir de una serie de preguntas o por cuestiones lógicas, de modo que tales conjunto de hechos o asertos y reglas permitirán deducir nuevos hechos

 

El Paradigma Lógico se basa en la creaci ón de  reglas por parte del programador, que luego  ser án aplicadas para resolver ciertos problemas  dados y en los que se pueden destacar los  siguientes aspectos:  Ejecución: 

Meta que intenta probarse a partir de los hechos y reglas. Aplicación de reglas por backtracking:  Método de resolución. Soporte de la información  Lista. Lógica:  Asertos y reglas. Control:  Mecanismo de resolución. de datos:  Constantes, variables y listas.

Estructuras

 

DESCRIPCION DEL PARADIGMA LOGICO   La representación en el Paradigma Lógico  abarca los siguientes aspectos:  TERMINOS:  Variables Va riables (A, B, X), Constantes (Cayo, 2, Moto) y  Funciones cuyos argumentos son términos  (f(x), padre(Cayo)). PREDICADOS:  Símbolos de n argumentos (que son términos)  que toman el valor verdadero o falso. f also. Moto(X), Valioso(veloz), Es-padre(veloz, padre(cometa)). CLAUSULAS DE HORN:  Hechos o reglas formadas por varios  antecedentes (conjunción) y un consecuente. consecuente. Consecuente:: antecedente1, antecedente2, . . Consecuente . La disyunción se representa añadiendo  reglas.

 

PROLOG, EL LENGUAJE LÓGICO  Prolog

es utilizado para el desarrollo de aplicaciones de 

inteligencia artificial debidolas a su forma de representar el  conocimiento, facilitando búsquedas en bases de  datos, la escritura de compiladores, la construcción de  sistemas expertos, el procesamiento de lenguaje natural  y la programación automática. En Prolog, las cosas son distintas: el orden de  ejecución de las instrucciones no tiene nada que ver con  el orden en que fueron escritas. Las

instrucciones de Prolog se llaman "reglas  o cláusulas de Horn" y esencialmente pueden  representarse así: "Hacer esto si se cumplen tales o  cuales condiciones".

 

EL BACKTRACKING Para obtener las soluciones a las cláusulas objetivo  solicitadas, Prolog utiliza una técnica de borrado que  consiste en reemplazar cada submeta por los  consecuentes de todas las reglas de la base que la  satisfacen. Para poder poder hacer hacer esto utiliza el backtracking, que es el mecanismo para la búsqueda de datos de  Prolog, totalmente invisible para el usuario. De esta  forma se verifica si existe cierto hecho determinado o si  se cumple algún goal.