APUNTES_Soler_Programacion_en_Prolog.pptx

Introducción a la Programación Lógica en
Prolog
Fernando Soler Toscano
Centro Asociado de Sevilla -
UNED

La lógica de
Prolog
►Tres tipos de cláusulas de Horn:
1. Cláusulas unitarias (hechos): sóloun literal positivo,
sin literales negativos, p0, o bien → p0
2. Cláusulas no unitarias (reglas): un literal positivo y al menos
un literal negativo, p0 ∨ ¬n0 ∨ ¬n1 ∨ . . ., o bien n0 ∧ n1 ∧ . .
. → p0
3. Cláusulas negativas (consultas): sólotienen literales
negativos:
¬n0 ∨ ¬n1 ∨ . . ., o bien n0 ∧ n1 ∧ . . . →
►Los dos primeros tipos reciben el nombre de cláusulas
definidas

La demostración en
Prolog
►Prolog emplea resolución para demostrar los objetivos que
se solicitan en las consultas
►Prolog mantiene una pila de objetivos. Cuando se lanza
una consulta, la introduce en la pila. Los objetivos se
anãdeny se quitan siempre del mismo extremo de la pila
►Se emplea la operación de unificación. Dos literales unifican
si existe una sustitución que aplicada a sus variables los
transforma en el mismo literal. Una vez que unifican dos
literales, la operación no es reversible (salvo que se vuelva
sobre un punto de elección)
►Cuando Prolog recibe un objetivo para demostrar
, lo
introduce en la pila de objetivos.

La demostración en Prolog
II ►Mientras la pila de objetivos no estévac´ıa, sea Obj su
primer elemento. Entonces busca la primera cláusula del
programa cuya cabeza unifique con Obj. Quita Obj de la
pila de objetivos e introduce en su lugar el cuerpo de la cl
áusula. En tanto que puede haber másde una cláusula
cuya cabeza unifique con Obj, se crean puntos de elección
a los que
seráposible volver si la alternativa seguida no tiene éxito
(backtracking).
►El procedimiento sigue hasta que la pila de objetivos
quede vac´ıa(éxito de la prueba, responde si) o hasta
que haya objetivos que no pueden probarse tras
intentar todas las opciones (fallo en la prueba,
responde no)
►El procedimiento puede representarse mediante árboles
de prueba
►Prolog permite seguir la traza de los objetivos que se

Ejemplo
s % escribio(?Autor, ?Escrito) tiene éxito s i Autor escribió Escrito
escribio(gottlob, b e g r i ffs s c h r i f t ) . % C1
escribio(bertrand, p rincip ia). %
C2 escribio(alfred, pri ncip ia). %
C3
escrib io (terry, shrdlu). %
C4
es cr i b i o (b i l l , lu nar). %
C5
escribio(roger, sam). %
C6
% libro(?Libro) tiene éxito s i Libro es un
lib ro
l ib ro ( b eg ri ff ss ch r if t ).
li bro (pr incip ia).
%
C7
%
C8
% programa(?Prog) tiene éxito s i Prog es un programa
programa(lunar).
programa(sam).
programa(shrdlu).
% C9
%
C10
%
C11
% autor(?Persona) tiene éxito s i Persona ha escrito un lib ro
%
C12
autor(Persona) : -
libro(Libro),
escribio(Persona, Libro).
% autor_de(?Persona, ?Libro) tiene éxito s i Persona ha escrito Libro
%
C13
autor_de(Persona, Libro) : -
libro(Libro),
escribio(Persona, Libro).

Llamada a
autor(bertrand).
Tiene ´exito, se explora una rama que falla, pero la
segunda encuentra la prueba:

Llamada a
autor(terry).
Fracasan las dos
opciones:

Llamada a autor de(bertrand,
Obra).
Tiene ´exitoy unifica Obra con principia:

Seguimiento de la
traza
?- t r a c e , autor(bertrand).
Call: (9) autor(bertrand) ?
Call: (10) libro(_L180) ?
Exit: (10)
libro(begriffssc hrift) ?
Call: (10) escribio(bertrand, begriffsschrift) ?
Fa i l: (10) escribio(bertrand, begriffsschrift) ?
Redo: (10) libro(_L180) ?
Exit: (10) libro(principia) ?
Call: (10) escribio(bertrand, principia) ?
Exit: (10) escribio(bertrand, principia) ?
Exit: (9) autor(bertrand) ?
Yes

Advertencia
s
►El orden de las cláusulas en el programa no cambia su
sentido semántico, pero puede afectar mucho a las
pruebas
►Tener en cuenta el renombramiento de variables
entre diferentes cláusulas
Ejercicio: experimentar con el guitracer de SWI-
Prolog

Definicioń recursiva de
predicados
► Hasta ahora hemos definido los predicados complejos a
partir de otros más simples. En u´ltimo término, los
predicados más elementales constitu´ıan la propia base de
datos
►Para otros predicados, esta técnica no basta, necesitamos
hacer definiciones recursivas, en términos de sı́mismos.
Ocurre cuando las definiciones implican cadenas de
relaciones de longitud arbitraria

Definicioń recursiva de predicados
II
►Ejemplo (árbol familiar de Bertrand Russell):
padreomadre(katherine, bertrand). padreomadre(amberley, bertrand).
padreomadre(katherine, frank).
padreomadre(katherine, rach el ).
padreomadre(amberley, frank).
padreomadre(amberley, rach el ).
padreomadre(dora, k ate).
padreomadre(dora, john).
padreomadre(peter, conrad).
padreomadre(bertrand, kate).
padreomadre(bertrand, john).
padreomadre(bertrand, conrad).
mujer(katherine).
mujer(rachel).
mujer(dora).
mujer(peter).
mujer(kate).
hombre(amberley).
hombre(frank).
hombre(bertrand).
hombre(conrad).
hombre(john).
► Ejercicio: escribir cláusulas que definan las relaciones
de padre, abuela, t´ıo, primo, etc., a partir de los
predicados primitivos padreomadre/2, mujer/1 y
hombre/1.

III
►Supongamos quequeremos definir una relaci´on de
ancestro/2. Intuitivamente, una persona Mayor es
ancestro de una persona Joven si est´anconectados
mediante una cadena de instancias de padreomadre/2
de longitud arbitraria. Podr´ıamos intentar:
ancestro(Mayor, Joven):-
padreomadre(Mayor, Joven).
padreomadre(Mayor, Medio),
padreomadre(Medio,
Joven).
padreomadre(Medio, Medio2),
padreomadre(Medio2, Joven).
. . .

IV
►Necesitar´ıamos infinitas cl´ausulas. Afortunadamente
podemos definir la relaci´on recursivamente. Son
ancestros de Joven:
►Los padres de Joven
►Los ancestros de los padres de Joven
► Entonces:
ancestro(Medio, Joven).
►Seguir la traza de la llamada a ancestro(katherine,
kate).

Terminaci
ón
►La forma de definir un predicado puede influir en la
terminación de las llamadas que se realizan a dicho
predicado. Por ejemplo, podr´ıamos haber intentado
definir ancestro/2 como:
ancestro(Mayor, Medio),
ancestro(Medio,
Joven).
►La definiciónessemánticamente equivalente a la primera,
pero ahora, cuando Prolog trata de probar una llamada a
ancestro/2 nunca termina, porque siempre usa la
primera cláusula, construyendo una secuencia infinita de
instancias de ancestro/2.
►Seguir la traza de la llamada a ancestro(katherine,
kate). con esta definición

Terminación
II
►Sin embargo, la llamada terminar´ıa simplemente
cambiando el orden de las cláusulas:
ancestro(Mayor, Medio),
ancestro(Medio,
Joven).
►Ahora sı́termina una llamada a ancestro/2, pero si
pedimos mássoluciones (mediante “;”), volvemos a caer
en un bucle infinito
►Esto ocurre porque una de las cláusulas usa recursividad
izquierda, es decir, el primer literal es una referencia al
propio predicado, cosa que por lo general causa
problemas en el mecanismo deductivo de Prolog.

Terminación
III
►Al escribir cláusulas recursivas debemos tener en cuenta la
forma en que Prolog las empleará, para evitar estos
problemas. Por lo general, conviene poner primero los
casos básicos de las cláusulas de un mismo predicado, y
dejar para el final las cláusulas que contienen llamadas
recursivas, evitando la recursividad izquierda. Por ello, la
mejor definición de ancestro/2 es la que dimos al
principio:
ancestro(Medio, Joven).

Términos y unificaci
ón ►Hasta ahora, los argumentos de los predicados han
sido constantes o variables
►Sin embargo, Prolog permite términos arbitrarios
como argumentos
►Definición del conjunto de términos:
►Las constantes y las variables son términos
►Si t1, t2, . . . , tn son términos y f es un functor n-ario,
entonces
f (t1, t2, . . . , tn ) es un término
►Nada máses un término
►Para ilustrar la notación, el siguiente programa axiomatiza
la suma usando recursividad y la función sucesor:
% suma(A, B, C) se verifica cuando A+B=C
suma(0,Y,Y). %
C1
suma(suc(X),Y,suc(Z)) : - suma(X, Y, Z). %
C2

Términos y unificación
II ►Cada una de las cláusulas se corresponde con uno de
los axiomas de la suma:
0 + y =
y
x'
+ y =
(x + y )'
►Observación: cuando Prolog encuentra un término como
suc(0) no lo iguala al término 1 ni ninguńotro. La uńica
relación entre los términos y sus valores es el significado
que nosotros le concedamos
►Algunas llamadas a suma/3:
?- suma(0, suc(0), Suma).
Suma = suc(0)
Yes
?- suma(suc(suc(0)), suc(suc(0)), Suma).
Suma = suc(suc(suc(suc(0))))
Yes
?- suma(suc(0), Sumando, suc(suc(suc(0)))).

Términos y unificación
III ►Ejercicio: usar el predicado suma/3 y la misma notación
sucesor para definir un predicado recursivo
producto(A,B,C) que sea verdadero cuando A × B = C .
Tener en cuenta que:
0 × y = 0
x'
× y = (x × y ) +
y
►Ahora, la operación de unificación se aplica a términos
compuestos (en Prolog, la relación “=” se da entre
dos términos, o predicados, que unifican):
?- suma(suc(suc(0)), suc(suc(0)), Suma) = suma(suc(X), Y,
suc(Z)).
Suma = suc(_G184) X
= suc(0)
Y= suc(suc(0)) Z
= _G184
Yes
► G184 es el nombre interno que Prolog asigna a la
variable Z
►La sustitución ha transformado los dos términos
en:

Operaciones aritm
éticas
►Dentro de las constantes permitidas por Prolog están
los nu´meros. Operadores de comparación:
►<, menor que: 3<7
► >, mayor que:
7>3
► =<, menor o igual que: 3=<7, 7=<7
► >=, mayor o igual que: 7>=3, 7>=7
►Atención: estos operadores tienen restricciones: + < + (igual
para el resto, siempre debe haber dos expresiones nu
´mericas sin variables a cada lado). En otro caso, Prolog
tendr´ıa que hacer recursión sobre todas las parejas
posibles (X,Y) de nu´meros tales que X< Y.Esto no está
permitido por el compilador.

Operaciones aritméticas
II
►Expresiones numéricas:
?- 2*3 < 5 .
No
?- 2*3 < 8 .
Yes
?- 2*3 =< 6 .
Yes
?- 2*3 = 6 .
No
►El u´ltimo caso ilustra que la identidad = no sirve para la
evaluación numérica de expresiones. Para eso estáel
predicado is(?Result, +Expr), que puede ser usado de
forma infija, donde Expr es una expresión aritmética (debe
tenerse en cuenta la precedencia de los operadores aritm
éticos),y Result bien un nu´mero o una variable:

Operaciones aritm´eticas
III
?- Xi s 2*3.
X= 6
Yes
?- 6 i s 2+3.
No
?- 5 i s 8-3.
Yes
?- 2*3 i s 6 .
No
?- 2*3 i s X.
ERROR: i s / 2 :
Arguments
are not
sufficiently
instantiated
?- Xi s 3/(5+2).
X= 0.428571
Yes
?- Yi s 3^2.
Y= 9

Observacioń: tipos de
igualdad
Tipos de igualdad que usamos en Prolog:
►?A= ?B. Tiene éxitosi Ay B unifican.
►+A== +B. Tiene éxito si Ay Bson términos idénticos (sin
unificar, deben tener las mismas variables).
►?Ai s +B. Tiene éxito si Aunifica con la evaluación de la
expresión aritmética B.
►+A=:= +B. Tiene éxito si las dos expresiones aritméticas Ay
Bse evaluán al mismo nu´mero.
Probar cada una de las igualdades viendo que no tienen éxito
en los mismos casos.

Lista
s
►La lista vac´ıa se representa mediante la constante [].
►La secuencia (e, s) con cabeza e y cola s se representa
mediante [e|s]
► Generalizando, la secuencia (e1, (. . . (en, s) . . .)) se
representa mediante [e1 , . . ., en| s]. Cuando s es la
secuencia vac´ıa, se simplifica [e1 , . . ., en]
► Ejemplos:
►[Cabeza | Cola], representa una lista con al menos un
elemento Cabeza
►[a,b|X] representa una lista cuyos dos primeros
elementos son a y b. La cola puedeser vac´ıasi X= [ ]
►[ a,b ] es la lista con s´olodos elementos a y b
►En tanto que los elementos de una lista pueden ser a su vez
otras listas, podemos definir recursivamente la noci´on de
lista:
l i s t a ( [ ] ) .

Listas
II
►En el programa anterior hemos usado la variable Cabeza
para indicar que no nos importa cuálsea su valor
concreto.
Podemos construir variables de este tipo uniendo “ ”
a cualquier cadena de caracteres
►Prolog dispone incluso de la variable anónima “ ”
► Cada ocurrencia de es independiente de las dem
ás. Por ello, podemos unificar p( , ) con p(a,X) y auń
unificar Xcon b. No ocurre lo mismo con las variables
como Cabeza, donde todas las apariciones de la misma
variable deben unificar con el mismo término

Manejo de
listas
►Al definir predicados que tengan listas entre sus
argumentos, usualmente daremos una definición
recursiva a partir de dos cláusulas:
►Una que se usarácuando la lista estévac´ıa [ ]
►Otra para listas no vac´ıas de la forma [Cabeza | Cola]
►De esta forma, hacemos recursión sobre la cola de la lista,
que cada vez serámáspequenã y as´ı evitamos los
problemas de no-terminación, yaque cuando la lista es vac
´ıa sóloes aplicable el caso base

Ejemplo: concetenación de
listas
►Definimos el predicado conc(L1, L2, L3) de forma que L3
sea la lista resultante de concatenar las listas L1 y L2
►Recursivamente, definimos la operación de concatenación:
►Si L1 es la lista vac´ıa,su concatenación con L2 produce L2,
►En otro caso, sea L1 = [Cabeza | Cola]; entonces la
concatenación de L1 con L2 es una lista que tiene como
primer elemento Cabeza y como resto el resultado de
concatenar Cola con L2
conc([], L2, L2).
conc([Cabeza|Cola], L2, [Cabeza|ConcResto]):-
conc(Cola, L2, ConcResto).

Ejemplo: concetenación de listas
II ► Ejemplo:
?- conc([a,b], [ c , d ] , Conc).
Conc = [ a , b , c , d]
Yes
?- conc([a,b], L2, [ a , b , 1 , 2 ] ) .
L2 = [ 1 , 2]
Yes
?- conc([a,b], L2, [ a , c , d ] ) .
No
►Prolog dispone del predicado predefinido append/3
que realiza esta función
►Carácter reversible del predicado conc/3:
?- conc(L1, L2, [ a , b , c , d ] ) . L1
= [ ]
L2 = [ a , b, c , d] ; L1
= [a ]
L2 = [ b , c , d] ; L1
= [ a , b]
L2 = [ c , d]
Yes

Control mediante
corte
►Ejemplo sin corte: nota(+Cuantit, ?Cualit)
seráverdadero cuando Cualit sea la calificación cualitativa
(suspenso, aprobado, notable, sobresaliente)
correspondiente a la nota cuantitativa Cuantit (un nu
´mero de 0 a 10).
nota(N, suspenso)
nota(N,
aprobado)
nota(N, notable)
: - N< 5.
: - N >=5, N <
7.
: - N >=7, N <
9.
nota(N, sobresaliente) : - N>= 9.
►Ejemplo: calculamos la calificación correspondiente a un
6
?- nota(6, Nota).
Nota = aprobado ;
No

Control mediante
corte►Prolog encuentra que la nota correspondiente es aprobado.
Para demostrarlo, Prolog ha recorrido las dos primeras
ramas del árbol de prueba hasta encontrar una
demostración.
Cuando le preguntamos si hay mássoluciones, responde
que no. Pero ha tenido que explorar las dos ramas
restantes:
? - t r a c e , no t a (6 , Nota).
C a l l : ( 8 ) no t a (6, _G171) ?
^ C a l l : ( 9 ) 6<5 ?
^ F a i l : ( 9 ) 6<5 ?
Redo: ( 8 ) no t a (6, _G171) ?
^ C a l l : ( 9 ) 6>=5 ?
^ E x i t : (9 ) 6>=5 ?
^ C a l l : ( 9 ) 6<7 ?
^ E x i t : (9 ) 6<7 ?
E x i t : ( 8 ) no t a (6 , aprobado) ?
Nota = aprobado ;
Redo: ( 8 ) no t a (6, _G171) ?
^ C a l l : ( 9 ) 6>=7 ?
^ F a i l : ( 9 ) 6>=7 ?
Redo: ( 8 ) no t a (6, _G171) ?

Control mediante
corte
►En ocasiones nos interesará que Prolog no recorra todas
las ramas del árbol de prueba, podando algunas de ellas
que sabemos que no seránprometedoras. En predicados
como nota/2 que sabemos que sólotiene una solución,
una vez encontrada ésta,no tiene sentido seguir
buscando otras.
►El corte ! es un predicado que Prolog siempre evaluá
como verdadero y que tiene el efecto de podar todas
las ramas alternativas en el subárbol de prueba
correspondiente al predicado en cuya definiciónse ha
introducido el corte.
► Ejemplo:
nota2(N,
nota2(N,
nota2(N,
suspenso)
aprobado)
notable)
: - N < 5, ! .
: - N < 7, ! .
: - N < 9, ! .
nota2(_N, sobresaliente).

Control mediante
corte►Ahora en el árbol de prueba de nota(6, Nota), cuando se
obtiene Nota = aprobado, se podan las dos ramas
restantes:
?- t r ac e, nota2(6, Nota).
Call: (8) nota2(6, _G171) ?
^ Call: (9) 6<5 ?
^ F ai l : (9) 6<5 ?
Redo: (8) nota2(6, _G171) ?
^ Call: (9) 6<7 ?
^ Exit: (9) 6<7 ?
Exit: (8) nota2(6, aprobado) ?
Nota = aprobado ;
No
►Si el corte se usa adecuadamente puede reducir
considerablemente la bu´squeda, pero también
debemos conocer sus consecuencias:
?- nota2(6, notable).
Yes
►Se pierde carácter declarativo. En nota2/2, ahora el

Control mediante
corte
Ejercicio: Cuando hacemos una llamada al predicado
member(E, L), Prolog nos devuelve todos los elementos de la
lista Lque unifican con E:
?- member(X, [ a , b , a ] ) .
X= a ;
X=
b ; X
= a ;
No
se pide definir un predicado memberc(E,L) que realice un corte
en el ´arbol de prueba de modo que cuando encuentre el primer
elemento de Lque unifique con E ya no busque otros, de
modo que responda No si se piden m´as soluciones:
?- memberc(X, [ a , b , a ] ) .
X= a ;
No

Negacioń por
fallo
►Hasta ahora no hemos tenido forma de indicar negaciones.
Prolog maneja la hipótesis del mundo cerrado: todo lo que
no puede probarse se considera falso. Para ello tenemos
el predicado not/1. Se define a partir del corte:
not(C) : - C, ! , f a i l .
not(_).
►Es decir, si puede demostrarse el objetivo C(al ser una
variable podráser cualquier cosa), entonces no se busca
ninguna prueba alternativa para not(C) y falla (el
predicado f a i l es siempre falso, as´ı como true es
siempre verdadero). En otro caso (cuando no se ha
podido probar C), se considera probado not(C).
►El predicado not/1 estápredefinido en SWI-Prolog, y tambi
én puede escribirse +

Negacioń por
fallo
►Ejemplo: podemos definir un predicado member dif(E,
L1, L2) que sea verdadero cuando E sea un elemento de
la lista L1 pero no de L2 (es decir, pertenece a la
diferencia L1-L2):
member_dif(E, L1, L2) : -
member(E, L1),
+ member(E, L2).
► Obsérvese cómo se han ordenado los literales. De esta
forma, la negación actuá sobre valores concretos. Ver qué
pasa si se ordenan de la otra forma.
►Veamos un ejemplo:
?- member_dif(E, [ a , b , c , d , e , f ] , [ a , c , e ] ) . E
= b ;
E = d ; E
= f ;
No

Ejempl
o Considérese la siguiente basede conocimientos:
mayor_edad(juan).
mayor_edad(ana).
mayor_edad(pedro).
mayor_edad(maria).
trabaja(ana).
trabaja(pedro).
Definimos un predicado busca trabajo(X) que es
verdadero cuando Xes mayorde edad y no trabaja:
busca_trabajo(X):-
mayor_edad(X),
+ trabaja(X).
Probar anãdir y quitar hechos de la basede
conocimiento. Observar carácter no monótono de la

Condicion
al
►En Prolog disponemos del condicional -> que podemos
usar de dos formas posibles:
►I f -> Then; Else. Prolog evaluá primero la condición If. Si
se cumple, evaluá Then. En otro caso, ignora Then y evaluá
Else. El condicional es verdadero cuando:
►Es verdadero I f y Then
►No es verdadero I f pero sı́ Else
►I f -> Then. Equivale a I f -> Then; fail. Es decir, si I f es
verdadero se evaluá Then que debe ser verdadero también.
En otro caso, el condicional es falso.

Condicional
(ejemplos)
►Definici´on de max(+X,+Y,?Z) que tiene ´exito si Z es el mayor
de los nu´meros Xy Y:
max(X,Y,Z) : -
( X =< Y
-> Z = Y
; Z = X
) .
►Pueden anidarse
varios
condicionales.
Ejemplo:
nota(Numero,
Calif) : -
Numero < 5 -> Calif = suspenso;
Numero < 7 -> Calif = aprobado;

Ejercici
o
Definir usando el condicional un predicado ndias(+NMes,
-NDias) al que se le d
´
eel nu´mero NMes que representa un mes
(entre 1 y 12) y devuelva en NDias el nu´mero de d´ıasque tiene
el mes (suponer que febrero siempre tiene 28 d´ıas).
?- ndias(12,N).
N= 31
Yes
?- ndias(6,N).
N= 30
Yes

Soluci
´on
ndias(NMes, NDias):-
member(NMes, [1,3,5,7,8,10,12]) -> NDias = 31;
member(NMes, [4,6,9,11])
NMes = 2
-> NDias = 30;
-> NDias = 28.
Uso:
?- ndias(3,NDias).
NDias = 31.
?- ndias(6,30).
Yes
?- ndias(6,31).
No
?- ndias(13,N).
No

Predicados metal
´ogicos
►El predicado maplist(Pred, L1, L2) se verifica si se prueba
el predicado di´adico Pred sobre los sucesivos pares de
elementos de L1 y L2:
?- maplist(member,[a,b,c],
[ [ p , a , p ] , [ p , b ,p ] , [ p , c , p ] ] ) .
Yes
►El predicado findall(Term, Objet, List) se verifica si L
es la lista de instancias de Term que verifican Objet:
?- findall(X, (mayor_edad(X),
+ trabaja(X)), Li s ta ).
Lista = [juan, maria] Yes

Predicados metal
ógicos
►El predicado setof(Term, Objet, List) se comporta igual
que findall/3 salvo que devuelve la lista List ordenada
y sin repeticiones. Además, si no existe ninguna instancia
de Term que verifique Objet, falla (a diferencia de
findall/3 que devuelve la lista vac´ıa.
►El predicado T= . . Lse verifica si dado el término T, la lista
Ltiene como primer elemento el functor de Ty como resto
los argumentos de T:
?- lee(ana, li b ro ) = . . L. L
= [ l e e , ana, l ib ro ]
Yes
?- lee(madre(ana), l ib ro ) = . . L. L
= [ l e e , madre(ana), l ib ro ]
Yes

Ayuda de SWI-
Prolog
Tecleando ?- help. accedemos a la ayuda de SWI-
Prolog. Obtenemos informaci´on del uso de todos los
predicados predefinidos.

Modificación dinámica de la base de
conocimientos
►En ciertas ocasiones nos interesa que una consulta
pueda modificar la base de conocimiento en tiempo
de ejecución
►Para ello, Prolog dispone de la opción de declarar
ciertos predicados como dinámicos
►Disponemos de predicados que nos permiten anãdir nuevas
cláusulas de los predicados dinámicos, as´ıcomo borrar
algunas o todas las existentes.
►El predicado dynamic/1 permite declarar una lista de
predicados dinámicos, dando la aridad de cada uno de
ellos.

Ejempl
o
:-dynamic([pajaro/1, pingüino/1]).
:-set_prolog_flag(unknown, f a i l ) .
vuela(X):- pajaro(X), + pingüino(X).
►Hemos declarado como dinámicos los predicados pajaro/1
y
pingüino/1.
►La instrucción se t prolog flag(unknown, f a i l ) hace que
cuando aparezca una llamada a un predicado del que no
hay definidas instancias, se produzca un fallo, en vez de
un mensaje de error (opción por defecto)
►Definimos el predicado vuela/1, que abarca todos
los individuos que son pájaros pero no pinguïnos
►Observar el uso de la negación por fallo

Predicados assert y
retract
►El predicado assert/1 anãdea la basede conocimiento
una nueva instancia de un predicado dinámico, que
recibe como argumento.
►El predicado r et ra c t/ 1 elimina de la basede conocimiento
la primera cláusula de un predicado dinámico que unifique
con el argumento que recibe.
►El predicado r e t r a c t a l l / 1 elimina de la basede
conocimiento todas las instancias de un predicado din
ámico que unifiquen con el argumento que recibe.
►Estos predicados pueden usarse tanto en las consultas
como en el cuerpo de las cláusulas de la base de
conocimiento.

Ejemplo (continuaci
ón)
Compilamos la basede conocimiento
anterior:
?- assert(pajaro(piol´ın)).
t r u e .
?- vuela(piol´ın).
t r u e .
?- assert(pingüino(piol´ın)).
t r u e .
?- vuela(piol´ın).
f a i l .
?- assert(pajaro(p)).
t r u e .
?- assert(pingüino(p)).
t r u e .
?- retract(p ajaro (_ )).
true
?- findall(X,pajaro(X),Conj).
Conj = [ p ] .
?- retract(p ajaro (p )).
t r u e .
?- findall(X,pajaro(X),Conj).
Conj = [ ] .
?- findall(X,pingüino(X),Conj).
Conj = [piol´ın, p ] .
?- retractall(pingüino(_)).
t r u e .
?- findall(X,pajaro(X),Conj). ?- findall(X,pingüino(X),Conj).
Conj = [piol´ın, p ] . Conj = [ ] .

Comentario
s ►El ejemplo anterior muestra cómolos cambios en la basede
conocimiento pueden afectar a las inferencias que se
realizan.
►Cuando sólosab´ıamos que piol´ın es un pájaro, pudimos
inferir vuela(piol´ın), pero al incorporar nuevo
conocimiento, tras saber que es un pinguïno, ya no
podemos inferir que vuela.
►Cuando un sistema formal puede invalidar ciertas
inferencias tras anãdir nuevo conocimiento, se dice que
no es monótono
►El razonamiento de sentido comuńno es monótono.
►El carácter no monótono de Prolog viene dado por el uso de
la negación por fallo y la posibilidad de modificar la base
de conocimiento en tiempo de ejecución.
►Recordemos que la negación por fallo considera que algo
es falso cuando no hay constancia de que sea

Interaccioń con el
usuario
►Hasta ahora, cuando realizamos una consulta, damos a
Prolog todos los datos que necesita para tratar de
demostrarla.
Prolog continuá sin nuestra ayuda hasta dar una
respuesta afirmativa o negativa.
►En ocasiones, puede ser interesante pedir datos al
usuario, y en función de dichos datos, tomar un camino
u otro en las pruebas.
►Igualmente, es interesante dar información en pantalla m
ás alláde la respuesta afirmativa o negativa de las
pruebas.
►El predicado read/1 lee un término introducido por
el terminal.
►Los predicados format/1 y format/2 muestran informaci
ón en pantalla.

Uso de format/1 y
format/2
Uso de format(Cadena):
►El argumento Cadena es una cadena de caracteres
encerrada entre comillas simples.
►Cuando Prolog lo evaluámuestra la cadena en pantalla.
►El carácter de control ~n imprime una nueva l´ınea.
Uso de format(Cadena, Lista):
►El argumento Cadena es una cadena de caracteres y Lista
una lista de términos.
►Además de ~n, aparecen en Cadena ocurrencias de ~w
(tantas como elementos tenga Lista).
►Cuando Prolog lo evaluá, imprime en pantalla Cadena,
sustituyendo cada ocurrencia de ~wpor el elemento de
Lista que ocupa su mismo lugar.

Uso de
read/1
Uso de read(Term):
►Cuando Prolog lo evaluá muestra en pantalla | :
(se puede cambiar si antes se usóformat para producir
una salida distinta)
►Entonces Prolog se para esperando una entrada del
usuario.
►El usuario introduce un término seguido de un punto y
nueva l´ınea.
►Finalmente Prolog unifica Term con el término
introducido por el usuario.
►No hay ninguna restricción en cuanto al término que
introduce el usuario, puede ser un átomo, término
complejo, lista, nu´mero, etc.
►Para másdetalles y opciones, consultar la ayuda
de SWI-Prolog.

Ejempl
o
calcula : -
format(’Introduzca un n´umero: ’ ) ,
read(A),
format(’Introduzca otro n´umero: ’ ) ,
read(B),
format(’Operaciones:’),
format(’~n - Suma
format(’~n - Resta
( s ) ’ ) ,
( r ) ’ ) ,
format(’~n - Producto ( p ) ’ ) ,
format(’~n - Division ( d ) ’ ) ,
format(’~nElja una de el l as ( s , r , p , d ) : ’ ) ,
read(O),
operador(O,Op),
operar(Op,A,B,Res),
format(’Resultado:
~w~w~w= ~w’,[A, Op,
B, Res]).
operador(s,+).
operador(r,-).
operador(p,*).

Ejemplo
(uso)
?- calcula.
Introduzca un numero: 5.
Introduzca otro numero: 4.
Operaciones:
- Suma
- Resta
( s )
( r )
- Producto (p)
- Division (d)
Elja una de e ll as ( s , r , p, d) : d.
Resultado: 5/4 = 1.25
t r u e .

APUNTES_Soler_Programacion_en_Prolog.pptx

Más contenido relacionado

Similar a APUNTES_Soler_Programacion_en_Prolog.pptx (20)

Último (20)

APUNTES_Soler_Programacion_en_Prolog.pptx