Programación en PROLOG

Programación
en Lógica
INTEGRANTE
JULIO MONTECINO Q.
Evolución
Decada 70
Crisis del sotfware
Alternativas
PROLOG
Programación en Lógica
Resuelve problemas que
envuelven objetos y las
relaciones entre ellos.
10/16/2015
PROLOG, Programación en Lógica
Altos Costos
Disminución
Costos
Aplicaciones
Inteligencia Artificial
Robótica
3
Estructura
Reglas
Hechos
Expresan relaciones
entre objetos.
Un hecho depende
de otro.
Características
Características
Los nombres de objetos deben
comenzar con letra minúscula.
Primero se escribe la relación,
luego los objetos separados por
comas y encerrados entre ( )
Al final de un hecho debe ir
un “.”.
Orden de los objetos, debe ser
coherentes a lo largo de la base
de los hechos.
10/16/2015
Variables
Representa objetos
que el mismo prolog
determina.
Consiste en una cabeza y un
cuerpo unido por el signo “:-”
La cabeza esta formada por un
único hecho.
El cuerpo puede ser uno o mas
hechos, separados por una “,”,
que actúa como el “Y” logico.
Las reglas finalizan con un “.”
PROLOG, Programación en Lógica
Características
Puede ser:
Instanciada.
No instanciada
Los nombres de
variables comienzan
con letra mayuscula.
4
un coche tiene ruedas
hechos
tiene(coche,ruedas).
Relación
objetos
tiempo(lluvioso).
suelo(mojado).
:-
suelo(mojado).
suelo(mojado).
:-
tiempo(lluvioso).
suelo(mojado).
10/16/2015
PROLOG, Programación en Lógica
5
Al igual que otros lenguajes, existe la
asociatividad de los operadores.
3+2*6 =3+(2*6)
is
Operador infijo.
‘6 is 4+2’
X is 4+3
consult
Leer y compilar un
programa, o para añadir
cláusulas a un fichero.
consult(fichero).
recon
Reemplaza una cláusula
por la que se encuentra
en la base de hechos.
recon(fichero).
10/16/2015
PROLOG, Programación en Lógica
6
forget
Eliminar hechos de la
base de datos.
exitsys
Nos devuelve al
sistema operativo.
corte
Controlar el proceso
de reevaluación.
forget(fichero).
“!”
regla :- hecho1, hecho2, !, hecho3, hecho4, hecho5.
10/16/2015
PROLOG, Programación en Lógica
7
write
nl
read
10/16/2015
Comillas simples
write(‘hello world’)
encierran constantes y
las dobles encierran una
lista.
Fuerza un retorno
de carro en la
salida (enter)
write(‘linea 1’),nl,write(‘linea 2’)
linea 1
linea 2
Lee un valor de teclado read(X).
y finaliza cuando se
introduce un punto “.”
PROLOG, Programación en Lógica
8
 PROLOG1
Trabaja con los S.O. MS-DOS, CP/M86, RSX-11M Y RT-11.
PROLOG
QUINTUS
Utilizada en S.O. UNIX y VMS. Altas
velocidades de ejecución.
 MACPROLOG
Trabaja bajo S.O. MAC-OS. Combina
sofisticadas técnicas de programación
de inteligencia artificial.
10/16/2015
PROLOG, Programación en Lógica
9
Orientado
a la
inteligencia artificial.
Facilidad
Accesibilidad
Utiliza
a
de
programación.
pocos comandos.
todo usuario.
Asociatividad
operadores.
10/16/2015
de los
Diferentes
ambientes
de trabajo.
PROLOG, Programación en Lógica
10
Programación
en Lógica