Prolog

Lenguaje PROLOG

Inteligencia Articial - PROLOG

1

PRLOG = PROgrammation LOGique

introducido por Universidad de Aix-Marseille (Marsella, Francia) por los profesores Alain Colmerauer y Philippe Roussel al inicio de '70. lenguaje de programación de paradigma declarativo por el uso de toda la gente que trabaja en el campo de la Inteligencia Articial (lingüistas) muy simple para aprendery manejar

UAM Azcapotzalco

otoño 2010

c Mihaela JUGANARU

Inteligencia Articial - PROLOG

2

Sintaxis de PROLOG
Constantes: numero (enteros o con punto otante), cadenas de caracteres con minúsculas, cadenas de caracteres entre . Ejemplos: 2.5, 6, la vida, lavida, pedro, instalacion. Variables: una cadena de caracteres que empieza con una mayúscula o con (guillon bajo). , 33Ejemplos : X, Xxx, Pero, Las variables con valor.

son variables anónimas, no nos interesan su

UAM Azcapotzalco

otoño 2010

c Mihaela JUGANARU

Inteligencia Articial - PROLOG

3

Un termino compuesto es un functor (su nombre es una cadena con minúsculas) de una cierta aridad. Sus parámetros son constantes o variables. Ejemplo: madre(X,ana), madre(maria,pablo), numeroparo(32),f(g(Y),h(Z)). La aridad se marca con /. Ejemplos :

madre/2,numeroparo/1,f/2. El mismo nombre de functor se puede utilizar con una otra paridad. Ejemplo : madre(X). Aridad madre/1. Los comentarios se ponen entre /* y */ o después el % hasta al n de linea

UAM Azcapotzalco

otoño 2010

c Mihaela JUGANARU

Inteligencia Articial - PROLOG

4

Un programa PRLOG se compone de una partede hechos y una parte de reglas. Cada hecho o regla se termina con un . . Un hecho es la modelización de los datos/situaciones elementales que se consideran ciertos. Un hecho es un termino que tiene todos sus parámetros constantes o evaluables directamente. Ejemplos:
madre ( ana , pedro ). gato ( tom ). come ( tom , jerry ). esnumero (34343).

pero
animal (Z ).

no puede ser un hecho.

UAMAzcapotzalco

otoño 2010

c Mihaela JUGANARU

Inteligencia Articial - PROLOG

5

Las reglas son la traducción de las clausulas de Horn que modelizan las deducciones de nuevos hechos. Las reglas son de forma:

termino : −termino1? . . .?terminon. ? signica la conjunción traducida por , o la disjunción traducida por ;.
La traducción en formulas lógicas: donde

termino1? . ..?terminon →

termino termino contiene como parámetros constantes o variables. Si hay variables, se traduce con el ∀ cuanticador universal para cada variable. Si el los termino1 , . . . , terminon aparecen otros variables se traducen por el ∃ cuanticador existencial.
UAM Azcapotzalco otoño 2010
El

c Mihaela JUGANARU

Inteligencia Articial - PROLOG

6

Ejemplo:
madre (X ): - hija (X ,ana ). /* si ana es la hija de X */ madre (X ): - hijo (X , Y ). /* si X tiene un hijo Y ( cualquier ) */

A veces en lugar de un control de programa.

terminoi se puede poner directivas de

Se usan también paréntesis en la parte derecha de la regla para expresar formulas mas complicadas.

UAM Azcapotzalco

otoño 2010

c Mihaela JUGANARU

Inteligencia Articial - PROLOG
Ejemplo deprograma con hechos y reglas:
gato ( tom ). raton ( jerry ). come ( tom , jerry ). animal ( oso ). animal (X ): - gato ( X ). animal (X ): - raton (X ). animalpeligroso (X) : - animal (X ) ,( X = oso ; come (X ,Y )).

7

un animal peligroso es un animal que o es un oso o come a alguien. En base de un programa cargado (que es entonces correcto sintáctico y que se compila), se pueden hacerinterrogaciones de hechos simple. PROLOG intenta de obtener una deducción del hecho. SI hay una deducción, se obtiene

verdad, si no hay se regresa f also.
c Mihaela JUGANARU

UAM Azcapotzalco

otoño 2010

Inteligencia Articial - PROLOG

8

Una interrogación es un termino compuesto con variables y constantes por el argumento. Se regresa entonces valores por las variables que non...