Taller Prolog

Programación
Declarativa
Tema 1: Lógica Proposicional y
Lógica Proposicional
Lógica de Predicados

2

Tema 1: Lógica Proposicional
y Lógica de Predicados
Introducción
Lógica de PrimerOrden. Sintaxis y Semántica
Representación de Hechos en LPO
Representación de Hechos en LPO
Representación de Hechos
Grafos Y/O
Operadores. Evaluación de Expresiones
Proceso de UnificaciónAclaraciones sobre Operadores
Tipos de Datos en PROLOG
Acumuladores
Control de Flujo
Primitivas de PROLOG (Avanzado)
Prog.Declarativa – Tema 1: Lógica Proposicional y Lógica de Predicados

3Introducción
Operadores básicos:
y=∧
o=∨
no
no = ¬
implicación = →
doble implicación = ↔

Prog.Declarativa – Tema 1: Lógica Proposicional y Lógica de Predicados

4

Introducción (II)
ModusPonens:
A→B
A
B
Modus Tolens:
Tolens:
A→B
¬B
¬A
Prog.Declarativa – Tema 1: Lógica Proposicional y Lógica de Predicados

5

Introducción (III)
Reducción al Absurdo:
A→B
A → ¬B
¬ARepresentación de Predicados:
"Sócrates es un hombre"
Hombre(X) ≡ Hombre(Sócrates)
Son equivalentes ya que ambas representan el mismo hecho
Son equivalentes ya que ambas representan el mismo hecho.Cuantificadores (∀, ∃)
∀ X: Hombre(X) → Mortal(X)
Hombre(X)
Prog.Declarativa – Tema 1: Lógica Proposicional y Lógica de Predicados

6

Representación de
Predicados: Ejemplo
Siguiendo con estaidea en más detalle, podemos
desarrollar:
1.
2.
3.
4.
5.
6.
7.
8.

Marco era un hombre.
Marco era pompeyano.
Todos los pompeyanos eran romanos.
los pompeyanos eran romanos
César fue ungobernante.
Todos los romanos o bien eran leales al César o bien le
los romanos bien eran leales al César bien le
odiaban.
Todo el mundo es leal a alguien.
La gente sólo intenta asesinar a losgobernantes a los que
no son leales.
Marco intentó asesinar a César.
intentó asesinar César

Prog.Declarativa – Tema 1: Lógica Proposicional y Lógica de Predicados

7

Representación de...