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.








1 comentario:

Jorge Ramiro dijo...

Soy de aprender cosas nuevas cuando tengo la oportunidad y por eso esta bueno tener la chance de buscar en internet para tener mas conocimientos. En el ultimo tiempo tenia ganas de hacer cursos de programacion web ya que me gustaría poder trabajar en esto