Hechos en Programacion Logica PROLOG

Para representar los hechos basta elegir los símbolos de los átomos.
Por ejemplo
Hecho : El animal tiene rayas negras.
se representa en Prolog por tiene_rayas_negras.

Es decir, el símbolo del átomo terminado en un punto.
Los hechos pueden verse como cláusulas con el cuerpo vacío.
Para representar la base de conocimiento en Prolog, se escribe en un fichero (por ejemplo,
animales.pl) cada una de las reglas y los hechos

es_cebra :- es_ungulado, tiene_rayas_negras. % Regla 1
es_ungulado :- rumia, es_mamífero. % Regla 2
es_ungulado :- es_mamífero, tiene_pezuñas. % Regla 3
es_mamífero. % Hecho 1
tiene_pezuñas. % Hecho 2
tiene_rayas_negras. % Hecho 3

Al lado de cada regla y de cada hecho se ha escrito un comentario (desde % hasta el final de la
línea).



Basado en Introducción a la programación lógica con Prolog de José A. Alonso Jiménez

La obra está bajo una licencia Reconocimiento–NoComercial–CompartirIgual 2.5 Spain de Creative Commons.








Programacion Logica PROLOG Reglas Primeros Paso

A parir de este POST y en sucesivos comentarios publicaremos sobre Programcion LOGICA y PROLOG.
Combinaremos comentarios nuestras con apuntes del libro
Introducción a la programación lógica con Prolog de José A. Alonso Jiménez

La obra está bajo una licencia Reconocimiento–NoComercial–CompartirIgual 2.5 Spain de Creative Commons.
Para resolver unp roblema con Prolog vamos a considerar las siguientes cuestiones:
1. cómo se representan en Prolog las reglas,
2. cómo se representan en Prolog los hechos,
3. cómo se representan en Prolog las bases de conocimientos,
4. cómo se inicia una sesión Prolog,
5. cómo se carga en Prolog la base de conocimiento,
6. cómo se representa en Prolog el objetivo a demostrar,
7. cómo se interpreta la respuesta de Prolog,
8. cómo ha realizado Prolog la búsqueda de la demostración,
9. cuál es la demostración obtenida y
10. cómo se corresponde dicha demostración con la anteriormente presentada.

PASO A PASO
Regla 1: Si un animal es ungulado y tiene rayas negras, entonces es una cebra.

Para representar una regla, se empieza por elegir los símbolos para los átomos que aparecen
en la regla.
Podemos elegir los símbolos es_ungulado, tiene_rayas_negras y es_cebra.
La regla 1 puede representarse como
Si es_ungulado y tiene_rayas_negras entonces es_cebra

se representa en Prolog, mediante la cláusula
es_cebra :- es_ungulado , tiene_rayas_negras.
Se cambia el sentido de la escritura y sustituir las conectivas por :- (condicional inversa) y , (conjunción).
El átomo a la izquierda de :- se llama la cabeza y los átomos a la derecha se llama el cuerpo de la regla.