prolog

que es prolog

Prolog es un propósito general de la programación lógica idioma asociado a la inteligencia artificial y la lingüística computacional . 

Prolog tiene sus raíces en la lógica de primer orden , una lógica formal , ya diferencia de muchos otros lenguajes de programación , Prolog es declarativa : la lógica del programa se expresa en términos de relaciones, representada como hechos y reglas . Un cálculo se inicia mediante la ejecución de una consulta sobre estas relaciones. 

El lenguaje fue concebida por un grupo de alrededor de Alain Colmerauer en Marsella , Francia , a principios de 1970 y el primer sistema Prolog fue desarrollado en 1972 por Colmerauer con Philippe Roussel.

Prolog fue uno de los lenguajes de programación lógica de primera, y sigue siendo el más popular entre dichas lenguas hoy en día, con varias implementaciones libres y comerciales disponibles. El lenguaje se ha utilizado para demostración de teoremas ,  sistemas expertos , la inferencia de tipos de sistemas,  y de planificación automática ,   así como su campo original prevista de uso, procesamiento del lenguaje natural .  Modern Prolog entornos admite la creación de interfaces gráficas de usuario , así como aplicaciones administrativas y en red.

Prolog es muy adecuado para las tareas específicas que se benefician de consultas lógicas basadas en reglas, tales como bases de datos de búsqueda, sistemas de control de voz, y las plantillas de llenado.

4)cual es la relacion entre prolog y logica de predicados

Con las formas mínimas anteriormente descritas se pueden construir las relaciones, base del conocimiento en Prolog.

Ejemplos de relaciones: padre(pepe, maria). // en esta relación se denota una existencia de parentesco entre pepe y maria, prolog en este punto no conoce //quien es el padre de quien, somos nosotros quienes le damos esa interpretación, prolog solamente se encarga de //crear una relación en su base del conocimiento. Obsérvese la sintaxis de la relación descrita: Nótese que los nombres de las personas empiezan por letras minúsculas indicando que son átomos de información y variables.
El nombre de la relación es también un átomo de información y no debe ser una cantidad numérica.
Número de objetos relacionados: sin son cero irán entre paréntesis y si son mas de uno, irán separados por comas. Los hechos terminan siempre en punto. (.)