Prolog PDF

Prolog
Jaime Andres Vargas

Jonathan Alberto Ortiz
Contenido 1. Que es prolog
2. Porque prolog
3. Introduccion a prolog
a. Operadores logicos
b. Otros operadores
c. Variables
d. Busquedas
e. Recursion
f. Listas
g. Arboles
h. Grafos
i. automatas
4. Aplicaciones
5. Ventajas / Desventajas
¿Qué es Prolog?
Es un lenguaje declarativo para programación lógica de propósito general , se
basa en la representación de relaciones mediantes reglas y hechos . La principal
diferencia con el imperativo es que buscamos describir el problema.
Prolog es un diminutivo de PROgrammation en LOGique

¿Porqué Prolog?
● Inteligencia Artificial (inferencia y representación del conocimiento)
● Procesamiento de lenguaje(Autómatas)
● La recursion.
IDE
Existen múltiples IDE para prolog, en este caso usaremos SWI-PROLOG
enlace de descarga
También existe un version en linea de prolog

Como usar el IDE
Para crear un archivo en prolog.
file-> new->”nombre_del_archivo”
Para “ejecutar”
file-> consult->”nombre_del_archivo”
Caracteristicas de sintaxis
En prolog los elementos más importantes del lenguaje son los

términos,compuestos en :
Variables: se representan con una letra mayúscula en su inicio, una excepción es

la variable anonima ‘_’.
Constantes:
Números: prolog soporta números reales y enteros.
Átomos o functor: nombrar objetos y propiedades
Estructuras complejas: son términos compuestos por otros términos.
Propiedades y relaciones
Es un hecho que es
filosofo(aristoteles). Propiedad
predicado
realMadridBBC(bale,benzema,cristiano). Es un hecho que es

Relacion
Cuando se tiene un hecho con un solo argumento se dice que es monádico,

de lo contrario es poliádico.
Nota: el nombre de un hecho empieza por minuscula y siempre termina en

punto.
Opéradores logicos
Prolog Logica
A :- B A -> B
A,B A && B
A;B A || B
Otros operadores
Prolog Significado
X \== Y X diferente de Y
X == Y X igual Y
X<Y X menor a Y
X>Y X mayor a Y
X>=Y X mayor igual a Y
X=<Y X menor igual a Y
X =:= Y X es igual a Y (evalúa X y Y primero).
Cuando se quiere comparar expresiones(ej:predicados, términos complejos) se añade un

@ inmediatamente después dela primera expresión (X@<Y)
Introduccion a prolog
Prolog se basa en un conocimiento base para solucionar consultas así como

inferir información .
El conocimiento lo representamos mediante cláusulas. Las cláusulas son hechos

o reglas , están compuestas usualmente de predicados.
Hechos
Reglas
Clausulas 9
Preposiciones 6
Las reglas se pueden “leer” de la siguiente forma: pepe sabe matemáticas si es
matemático.
Pero Feynman es fisico, luego debería retornar verdadero la consulta 9, ¿Por que?
Variables
En prolog se representan las variables dinámicas si se empieza por
mayúscula, note gauss,aristoteles,...etc, son constantes.
Cuando en una consulta se tiene mas de una alternativa Prolog devuelve la
primera ocurrencia, se obtienen las demás insertando el token punto y coma.
Note que X es una variable dinámica.

¿Qué sucede si se elimina la comparación en la regla de odia?
Prolog Strings / Aritmetica
unificacion
● Se pueden unificar listas y variables

no instanciadas.
● Para unificar una variable,
simplemente asignamos el objeto con
el operador =
● Para asignar una lista, podemos
asignar variables a la cabecera y la
cola o asignar los elementos uno por
uno.
Busquedas/Backtracking
¿Como prolog realiza la búsqueda en su “knowledge base”?

?- K(Y)
Y=X
f(X) , g(X) , h(X)
X=a X=b
g(a), h(a) g(b),h(b)
h(a) h(b)
Recursion
Ejemplo de familias
Listas
● Son una secuencia finita de ítems.
● Se componen por una cabeza y una cola
● La cabeza siempre es el primer elemento , la cola es lo que sobra
● Estan encerradas por paréntesis cuadrados.
● [ ] es la lista vacia.
[HEAD | TAIL]=[item1,item2,...,item_N].
● En prolog las listas se definen recursivamente.
[a,b,c]=[a | [b,c]]=[a | [b | [c]]] = [a|[b|[c|[]]]]
La variable ‘_’ se denomina variable anónima ,se usa cuando es nesario usar
una variable pero no se esta interesado en saber su contenido.
Funciones predefinidas para listas
● is_List().
● memberchk().
● length().
● sort()
Entre otros . ver funciones

Append
Esta funcion permite
● Concatenar dos listas
● Obtener sublistas
● Generar todas las
combinaciones de listas.
Member
Esta función es muy útil para “iterar”
sobre la lista así como revisar si un item
pertence a la lista.
Merge Sort
Arboles
Gracias a que Prolog está basado en recursividad , la definición de un árbol
no es muy compleja.
Representamos los árboles por medio de listas
a a
btree(n(a,[],[])).
b btree(n(a,n(b,[],[]),[]))
btree(n(a, n(b,[],[]), n(c,[],[]) ) ).
b c
Recorriendo un árbol
f
b g
a d i
c e h
Operaciones dentro de un arbol
f
b g
a d i
c e h
Grafos G
F
A B
C D H
Aplicaciones
● Sistemas expertos que emulan la
habilidad de un humano para la toma de
decisiones.
● Software “clarissa” construido por la
NASA para la ISS. Es una interfaz de
voz que busca los procesos de la
estación espacial.
● SICStus Prolog se encarga de la
logística de la reservación de boletos de
aerolíneas y ayudar a los ferrocarriles a
operar mejor
Aplicaciones-Autómatas
a,b
q0 q1
a,b
Cadenas de longitud par con el alfabeto a,b

Ventajas / Desventajas
Desventajas
● Curva de aprendizaje
● Se debe establecer muy bien los hechos o la representación del
conocimiento, porque pueden haber soluciones erróneas.
● Forma de pensar es diferente a como estamos acostumbrados.
Ventajas
● El código tiende a ser mucho más corto, luego es fácil de modificar
● Facilidad para programar
Referencias
● SICS. SICStus Prolog TOmado del link
https://www.sics.se/projects/sicstus-prolog-leading-prolog-technol
ogy
● Stack Overflow.prolog applications. Tomado del link
http://stackoverflow.com/questions/130097/real-world-prolog-usag
e
● Rodney’s Corner. Prolog and graphs. Tomado del link
http://rlgomes.github.io/work/prolog/2012/05/22/19.00-prolog-and-
graphs.html
● SwiProlog. Built-in list operations. Tomado del link
http://www.swi-prolog.org/pldoc/man?section=builtinlist

Prolog PDF

Cargado por

Copyright:

Formatos disponibles

Prolog PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Prolog PDF

Cargado por

Copyright:

Formatos disponibles

Prolog

Jaime Andres Vargas

Prolog es un diminutivo de PROgrammation en LOGique

También existe un version en linea de prolog

En prolog los elementos más importantes del lenguaje son los

Variables: se representan con una letra mayúscula en su inicio, una excepción es

realMadridBBC(bale,benzema,cristiano). Es un hecho que es

Cuando se tiene un hecho con un solo argumento se dice que es monádico,

Nota: el nombre de un hecho empieza por minuscula y siempre termina en

X>=Y X mayor igual a Y

X=<Y X menor igual a Y

X =:= Y X es igual a Y (evalúa X y Y primero).

Cuando se quiere comparar expresiones(ej:predicados, términos complejos) se añade un

Prolog se basa en un conocimiento base para solucionar consultas así como

El conocimiento lo representamos mediante cláusulas. Las cláusulas son hechos

Note que X es una variable dinámica.

● Se pueden unificar listas y variables

¿Como prolog realiza la búsqueda en su “knowledge base”?

f(X) , g(X) , h(X)

g(a), h(a) g(b),h(b)

Entre otros . ver funciones

btree(n(a, n(b,[],[]), n(c,[],[]) ) ).

Cadenas de longitud par con el alfabeto a,b

También podría gustarte