La cabeza es un término simple. Por ejemplo, p (X,
12) podría ser la cabeza de una cláusula del predicado p/2. Es decir, todas las
cláusulas de un mismo predicado tienen en la cabeza un término con el mismo
functor y aridad, aunque los argumentos pueden ser distintos.
El cuerpo no es más que el conjunto de condiciones
que deben cumplirse (tener éxito) para que el predicado tenga éxito si lo
invocamos con un objetivo que unifique con la cabeza.
Semántica de los programas lógicos
Ejemplo:
Razonamiento lógico:
tiempo(lluvioso) --> suelo(mojado)
Representación correcta en prolog:
suelo(mojado):-tiempo(lluvioso).suelo(mojado)
Comentarios entre /**/
Objetos de Datos
Tipos de Datos primitivos: variables y constantes.
- Enteros
- Reales
- Caracteres
Los identificadores con minúscula representan
hechos, los que van con mayúscula variables.
Las reglas se utilizan en prolog para significar
que un hecho depende de uno o más hechos.
Una reglas consiste en una cabeza y un cuerpo,
unidos por el signo ":-".
La cabeza está formada por un único hecho.
El cuerpo puede ser uno o mas hechos (conjunción de
hechos), separados por una coma (","), que actúa como el
"y" lógico.
Las reglas finalizan con punto (".").
Semántica Lógica
El pasaje a forma clausal se puede realizar
aplicando cinco reglas
SEMANTICA DE LOS PROGRAMAS LÓGICOS
Alumno: Saul Adan Aguilar Vera
Eliminar implicaciones
Desplazar negaciones hacia interior de la sentencia
(sobre las conjunciones, disyunciones y cuantificadores) hasta quedar delante
de fórmulas atómicas.
Desplazar las disyunciones hacia el interior de la
sentencia (sobre las conjunciones y cuantificadores) hasta quedar conectando
únicamente literales.
No hay comentarios:
Publicar un comentario