variados

Técnicas Avanzadas de Programación

Ingeniería en Informática

Programación Lógica
Usa lógica simbólica como lenguaje de
programación. También conocidos como lenguajes
declarativo.
⇒Solamente se presenta la especificación del
resultado deseado, en vez del procedimiento de
cómo obtenerlo
Prolog es el único lenguaje lógico ampliamente
utilizado.

Programación Lógica - Antecedentes• Sistemas deductivos de preguntas y respuestas
(1969).
• Prolog (1972)
• V Generación de Computadores (Programación
Lógica)

Programación Lógica - Componentes
•

Proposición: Instrucciónlógica que puede o no ser verdadera
Ejm:
hombre(pedro).
hombre(jose).
le_gusta(juan,carne).
–
–
–
–
–

•

hombre, le_gusta son predicados o funciones.
pedro es una 1-tupla en elpredicado llamado hombre.
juan, carne es una 2-tupla del predicado le_gusta.
La relación hombre tiene 2 elementos distintos: pedro y jose.
pedro, jose, juan, carne son constantes.

Las proposicionespueden ser presentadas como hechos o como
queries (algo por determinarse).

Prolog
• Desarrollado en 1970 por las universidades de Marsella
y Edimburgh
• Siempre asociado al área de InteligenciaArtificial.
• Elementos Básicos de Prolog
– 2 elementos principales:
• Una base de datos (hechos y reglas)
• Un mecanismo de inferencia que permite sacar
conclusiones
– Conjunto limitado deinstrucciones
– Las instrucciones están formadas por términos
– Un término de prolog puede ser: constante variable o
estructura

Prolog
Constante
– Átomo o entero
– Átomo es cualquier cadena decaracteres, digitos,
underscore que comience con una letra minúscula.
Ejm.: madre, padre, silla.
– Átomo puede ser cualquier cadena de caracteres
delimitado por ´ ´
– Entero: 10, 20, -5, ….Prolog
Variable
– Cualquier cadena de caracteres, dígitos, y
underscore que comience con mayúscula:
Carlos, Madre
– Las variables no tienen tipos
– Las variables pueden ser instanciadas y no...