Logica

PRESENTADO A : NORBERTO NOVOA TORRES
PRESENTADO POR: LUIS FERNANDO OTALORA LEIVA
CODIGO: 066081012
ASIGNATURA: LOGICA MATEMATICA
FECHA: 01/11/2012
COMO PROGRAMAR EN PROLOG
PROLOGestá orientado a la resolución de problemas mediante el cálculo de predicados, basado en:
* Preguntas a la base de datos.
* Pruebas matemáticas.
El programa PROLOG especificacómo debe ser la solución, en vez de dar el algoritmo para su resolución. La solución se obtiene mediante búsqueda aplicando la lógica de predicados.

QUE FUNCIONES CUMPLE
HISTORIAPROLOG
1. Crear un archivo con extensión .pl
2. Abrir la ventana de prolog
3. En el editor de prolog versión 6.3.3 declarar las reglas
4. Revisar la semántica delcompilador
Es un lenguaje de programación ideado a principios de los años 70 en la Universidad de Aix-Marseille I (Marsella, Francia) por los profesores Alain Colmerauer y Philippe Roussel.Nació de un proyecto que no tenía como objetivo la implementación de un lenguaje de programación, sino el procesamiento de lenguajes naturales. Alain Colmerauer y Robert Pasero trabajaban enla parte del procesado del lenguaje natural y Jean Trudel y Philippe Roussel en la parte de deducción e inferencia del sistema. Interesado por el método de resolución SL, Trudelpersuadió a Robert Kowalski para que se uniera al proyecto, dando lugar a una versión preliminar del lenguaje Prolog a finales de 1971 y apareciendo la versión definitiva en 1972. Esta primeraversión de Prolog fue programada en ALGOL W.
Inicialmente se trataba de un lenguaje totalmente interpretado hasta que, en 1983, David H.D. Warren desarrolló un compilador capaz detraducir Prolog en un conjunto de instrucciones de una máquina abstracta denominada Warren Abstract Machine, o abreviadamente, WAM. Desde entonces Prolog es un lenguaje semi-interpretado.