Programacion logica

PROGRAMACION LOGICA.

Concepto. Los programas se ejecutan verificando la presencia de una cierta condición

habilitadora y, cuando se satisface, ejecutan una acción apropiada. También se le conoce

como lenguaje con base en reglas.

BASES DE PROLOG.

La programación lógica es un intento de definir un estilo de programación

alternativo al estilo convencional de von Neumann. En él, el programador describe

indirectamente un proceso, definiendo un conjunto de asertos o condiciones, las cuales

deben ser satisfechas en orden a que el proceso complete su tarea. El propio algoritmo

resultante no está completamente bajo el control del programador, sino que el programador

debe conocer el mecanismo de control subyacente para especificar un conjunto correcto de

asertos.

La programación lógica es, por su naturaleza poco corriente, difícil de asimilar por

las personas que se han formado en el estilo de von Neumann. El lenguaje

Prolog(programming in logic) representa un estilo relativamente nuevo de programación.

Diseñado principalmente para las aplicaciones de inteligencia artificial, el estilo del Prolog

se basa en la noción de definir objetos y relaciones de inferencia entre clases de objetos.

Tiene unos fuertes fundamentos teóricos en el cálculo de proposiciones. Gran parte de la

reciente atención al Prolog se debe a su papel prominente en el proyecto japonés de

computadoras de la quinta generación.

El Prolog fue desarrollado a principios de los años 1970 por Philippe Rousel, del

Grupo de inteligencia Artificial de la Universidad de Marsella. Su primer intérprete se

implementó en 1972. debido a que el uso del Prolog ha estado restringido a la comunidad

de inteligencia artificial –la cual tiene una consistencia relativamente pequeña en

programación, comparada con la de, por ejemplo, la comunidad de procesamiento de datosel lenguaje no es aún ampliamente conocido. Además, por la misma razón, el Prolog no ha

cambiado dramáticamente desde su concepción, ni se ha hecho ningún esfuerzo por

estandarizarlo. Definido como un lenguaje de inteligencia artificial, el Prolog se ha

utilizado en los siguientes tipos de aplicaciones:

 Prueba de teoremas y resolución de problemas.

 Lógica matemática.

 Comprensión del lenguaje natural.

 Sistemas expertos.

 Representación del conocimiento.

Debido a que el estilo de la programación lógica es muy distinta del de otros

dominios de aplicación, Prolog no ha gozado(y probablemente no gozará) de un

amplio uso en áreas distintas de la inteligencia artificial. Su estructura de ejecución

impone un estilo de programación diferente, el cual no se ha mostrado aún efectivo

en la programación numérica, aplicaciones de procesamiento de datos o en la

programación de sistemas. INFORMACIÓN TIPO OBJETO.

Los tipos de datos elementales en Prolog son los enteros y átomos.

Los enteros se escriben en la forma usual, como una secuencia de dígitos decimales

precedidos posiblemente de un signo.

Un átomo

...