Prolog

Programación lógica
La lógica y los lenguajes de programación lógicos

Presentación de los
sistemas lógicos


Los diferentes sistemas lógicos elementales
tienes en común, en su presentación, unaetapa previa de formalización simbólica que
suele hacerse a dos niveles:


Lógica proposicional



Lógica de predicados

Lógica de predicados
(1/2)


Lógica de primer orden.



Esta presentaciónrealiza un análisis más
detallado de la estructura de los
enunciados. Distingue entre sujeto (Pedro,
en el ejemplo) y predicado (Dominicano,
Americano, en el ejemplo)
D(a) C(a);
D(a);

Donde:
a: PedroD: Dominicano
C: Americano

Δ C(a).

Lógica de predicados
(2/2)


Es una lógica con suficiente expresividad para representar
nuestro sentido común.



Considera el mundo constituido por objetos ypropiedades
que los distingan, a diferencia de la lógica proposicional que sólo
permite representar hechos.



Está basada en la idea de que las sentencias realmente
expresan relaciones entre objetos,así como también
cualidades y atributos de tales objetos.



Los objetos pueden ser personas, objetos físicos, o conceptos.



Las cualidades, relaciones o atributos, se denominan
predicados. Losobjetos se conocen como argumentos o
términos del predicado.



Al igual que las proposiciones, los predicados tienen un valor de
veracidad, pero a diferencia de las preposiciones, su valor deveracidad, depende de sus términos. Un predicado puede ser
verdadero para un conjunto de términos, pero falso para otro.

Ejercicio rápido 1
Para las siguientes oraciones indique donde existe
una relación ydonde un atributo.

1.
2.
3.
4.
5.

Juan vive en la misma casa que
Chucho.
A+B=C
f(A)
Ana 17 años, Erika 19 años, Julia 18
años
Ana, Erika y Julia van a la universidad

Sintaxis (1/3)
El alfabetoestá formado por:


Sentencia atómica:
predicado (término, ....)
termino = término



Sentencias:
 sentencia
sentencias_atómicas.
(sentencia conectiva sentencia)
cuantificador variable, ....,...