Documentos de Académico
Documentos de Profesional
Documentos de Cultura
PROLOG
www.dobrev.com
PROLOG -> PROgramming in LOGig
Paradigma -> El lenguaje de la lógica
puede se usado para programar
Padre de PROLOG -> Francés Alain
Colmerauer
Fue desarrollado en 1970 en la
Universidad de Marseilles
En el curso usaremos Strawberry
PROLOG Versión 2.3
La interfaz
Ejemplo 1:
le_gusta(elena,tenis).
le_gusta(jony,football).
le_gusta(tomas,baseball).
le_gusta(erik,natacion).
le_gusta(marco,tenis).
le_gusta(_,tenis).
le_gusta(juan,X) :- le_gusta(tomas,X).
?-le_gusta(juan,tenis).
Las clausulas contienen hechos y reglas
o equivalentemente:
?-le_gusta(jony,tenis)
Yes
Variables:
En la regla:
le_gusta(juan,X) :- le_gusta(tomas,X).
aparece la variable X
?-todos.
Salida:
leonardo es el padre de katherine
Yes.
EJEMPLO: Versión con fail
padre(leonardo,katherine).
padre(carlos,jason).
padre(carlos,marilyn).
todos :-
padre(X,Y),
write(X),
write(" es el padre de "),
write(Y),nl,fail.
?-todos.
Salida:
leonardo es el padre de katherine
carlos es el padre de jason
carlos es el padre de marilyn
No.
Ejemplo de unificación de variables:
?-le_gusta(Persona,tenis),write(Persona).
Salida:
elena Yes
?-le_gusta(Persona,tenis),write(Persona),
write(" "), fail.
Salida:
elena marco _0 juan No.
Objetos y Relaciones
Toda clausula en PROLOG está
conformada por relaciones que afectan
a objetos.
Los nombres de las relaciones y de los
objetos deben estar escritos en
minúscula.
Ejemplo 2: Metas (Goals)
compuestas
carro(toyota,130000,3,rojo,12000).
carro(ford,90000,4,gris,25000).
carro(nissan,8000,1,rojo,30000).
Salida:
la , es el AND
el ; es el OR
P<25000 invoca en realidad <(P,25000)
Variables Anónimas
Para variables anónimas se utiliza "_", por ejemplo:
le_gusta(_,tenis).
alumno(peter,9).
alumno(paul,10).
alumno(ana,9).
alumno(susan,9).
peter ana
peter susan
ana peter
ana susan
susan peter
susan ana
No.
El mecanismo"Backtraking" funciona como sigue:
Ejemplo 4: Uso del Not
Queremos escribir un programa que le
busque novio a Sofía. El programa
contiene una "base de datos" con la
lista de solteros y sus características,
además contiene una regla para los
requisitos pedidos por Sofía, a saber, el
novio debe ser vegetariano y no
fumador.
hombre(jose).
hombre(bill).
hombre(tom).
fumador(jorge).
fumador(tom).
vegetariano(jose).
vegetariano(tom).
sofia_hace_pareja(X) :- hombre(X), not(fumador(X)),
vegetariano(X).
?-sofia_hace_pareja(X),
write("una posible pareja para Sofia es: "), write(X), nl.
La salida al ejecutar este programa es:
?-sofia_hace_pareja(X),
write("una posible pareja para Sofia es: "), write(X), nl, fail.
La salida al ejecutar este programa es:
?-sofia_hace_pareja(X),
write("una posible pareja para Sofia es: "), write(X), nl, fail.
La salida al ejecutar este programa es:
femenino(ana).
femenino(andrea).
femenino(eugenia).
femenino(damaris).
madre(eugenia,ana).
madre(alan,damaris).
padre(alan,luis).
padre(ana,carlos).
padre(andrea,luis).
padre(eugenia,alan).
padres(X,Y) :- madre(X,Y).
padres(X,Y) :- padre(X,Y).
hermano(X,Y) :- /* El hermano of X es Y si */
masculino(Y) , /* Y es masculino y */
padres(X,P) , /* los padres de X son P y */
padres(Y,P) , /* los padres de Y son P y */
not(X=Y). /* X y Y no son el mismo */
hermana(X,Y) :- /* La hermana de X es Y si */
femenino(Y) , /* Y es femenino y */
padres(X,P) , /* los padres de X son P y */
padres(Y,P) , /* los padres de Y son P y */
not(X=Y). /* X y Y no son el mismo */
tio(X,U) :- /* El tio de X es U si */
madre(X,P) , /* la madre de X es P y */
hermano(P,U). /* el hermano de P es U. */
tio(X,U) :- /* el tio de X es U si */
padre(X,P) , /* el padre de X es P y */
hermano(P,U). /* el hermano of P es U */
abuelo(X,G) :- /* El abuelo de X es G si */
padre(P,G) , /* si el padre de P es G */
madre(X,P). /* y la madre de X es P.
*/
abuelo(X,G) :- /* El abuelo of X es G si */
padre(X,P) , /* el padre de X es P */
padre(P,G). /* el padre de P es G */
?-hermana(alan,X), write(X).
La Salida es:
andrea Yes.
Simulación de compuertas lógicas en
PROLOG
cxor(X,Y,Z) :-
cnot(X,N1), cnot(Y,N2),
cand(X,N2,N3), cand(Y,N1,N4),
cor(N3,N4,Z).
?-cxor(I1,I2,S),
write(I1), write(" "),
write(I2), write(" "),
write(S), write(" "), nl, fail.
Una corrida puede ser:
?-cxor(I1,I2,S)
110
101
011
000
No.
Variables Libres y Acotadas
Se dice que una variable es LIBRE si
PROLOG no conoce su valor.
?-le_gusta(X,lectura),le_gusta(X,natacion).
Por ejemplo, en la meta:
?-le_gusta(X,lectura), le_gusta(X,natacion).
functor(obj1,obj2,. . .,objn)
functor() ó functor
Ejemplo: estudiante es un objeto compuesto
lee_estudiante(e(Nombre,Nota1,Nota2,Promedio,Resultado))
:- write("Cual es su nombre? "), read(Nombre),
write("Nota en examen 1? "), read(Nota1),
write("Nota en examen 2? "), read(Nota2),
Promedio = (Nota1 + Nota2)/2,
paso(Promedio,Resultado).
?-run.
u(1,2).
u(N,Res) :- N > 1,
N1 is N - 1, /* OJO dejar espacio después del - */
u(N1,Res1),
Res is (2 * Res1).
?-u(4,X), write(X).
Salida:
16Yes..
Ejemplo 2:
fibonacci(1,1).
fibonacci(2,1).
fibonacci(N,F) :-
N > 2,
M is N - 1,
K is N - 2,
fibonacci(M,G),
fibonacci(K,H),
F is G + H.
?-fibonacci(6,Res), write(Res).
Listas en PROLOG
Las Listas en PROLOG se manejan a
través de Recursión.
[1, 2, 8]
[perro, gato, canario]
["Luisa", "Juan"]
PROLOG divide una lista en dos
partes:
Head o cabeza (primer elemento de la lista)
Tail o resto (una lista menos la cabeza)
Ejemplos:
Lista Head Tail
[1,2,3] 1 [2,3]
[[1,2,3],[7,8],[]] [1,2,3] [[7,8],[]]
[] indefinido indefinido
[|] [] []
imprime_lista([]).
imprime_lista([H|T]) :- write(H), write(" "),
imprime_lista(T).
?-imprime_lista([5,2,8,9,22]).
Pertenece a una lista
miembro(Nombre,[Nombre|_]).
miembro(Nombre,[_|Tail]):-
miembro(Nombre,Tail).
?-miembro(2,[5,6,2,7,89,0]).
Lectura de una Lista
leerlista([X|Xr]):-
read(X),leerlista(Xr).
leerlista([]).
?-leerlista(X),write(X).
Un ejemplo completo
append([],Lista,Lista).
append([X|L1], L2, [X|L3]) :- append(L1,L2,L3).
pares(X,[X|_]) :- Z is X mod 2, Z is 0.
pares(X,[_|Cola]) :- pares(X,Cola).
ultimo(X,[X]).
ultimo(X,[_|Cola]) :- ultimo(X,Cola).
consecutivos(X,Y,[X,Y|_]).
consecutivos(X,Y,[_|Cola]) :- consecutivos(X,Y,Cola).
invierte([],[]).
invierte([H|T],L) :- invierte(T,Z), append(Z,[H],L).
burbuja(L,O) :- append(X,[A,B|Y],L),
B < A,
append(X,[B,A|Y],M),
burbuja(M,O), !.
burbuja(L,L).
imprime([]).
imprime([Head|Tail]) :- write(Head),nl,imprime(Tail).
leerlista([X|Xr]):- read(X),leerlista(Xr).
leerlista([]).
CORRIDAS: (ver ej14.spj)
%?-leerlista(X),imprime(X).
%?-append([4,5,2,3],[5,62,23,3,0],L),write(L).
%?-pares(X,[3,4,6,9,7]),write(X).
%?-ultimo(X,[3,4,6,9,7]),write(X).
%?-consecutivos(6,9,[3,4,6,9,7]).
%?-invierte([3,4,6,9,7],X),write(X).
?-burbuja([3,4,6,9,7],X),write(X).
Más Ejemplos
suma_lista([],0).
suma_lista([CABEZA|COLA], RESULT) :-
suma_lista(COLA,R1),
RESULT is CABEZA + R1.
multiplica_lista([],1).
multiplica_lista([CABEZA|COLA], RESULT) :-
multiplica_lista(COLA,R1),
RESULT is CABEZA * R1.
Más Ejemplos
suma_dos_listas([],[],[]).
suma_dos_listas([CABEZA1|COLA1],
[CABEZA2|COLA2], [CABEZA3|COLA3]) :-
CABEZA3 is CABEZA1 + CABEZA2,
suma_dos_listas(COLA1, COLA2, COLA3).
producto_dos_listas([],[],[]).
producto_dos_listas([CABEZA1|COLA1],
[CABEZA2|COLA2], [CABEZA3|COLA3]) :-
CABEZA3 is CABEZA1 * CABEZA2,
producto_dos_listas(COLA1, COLA2, COLA3).
Ejemplos de sumatorias
sumar(1,1) .
sumar(N,Res) :- N1 is N - 1,
sumar(N1,R1),
Res is R1 + N.
armonica(1,1) .
armonica(N,Res) :- N1 is N - 1,
armonica(N1,R1),
Res is R1+1/N.
%?-sumar(20,X),write(X).
?-armonica(20,X),write(X).
El algoritmo de unificación usado por
PROLOG
Una variable libre puede ser unificada con
cualquier término, luego la variable se
considera acotada.
Una constante puede ser unificada con si
misma o con una variable libre.
Un objeto compuesto puede ser unificado
con un objeto compuesto, donde ambos
tengan los mismos functores y el mismo
número de argumentos, de modo que los
términos son unificados dos a dos.