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.

prolog programacion PC computer informatica university universidad curso logica prolog
programacion
computer
informatica
university
universidad
curso
logica

Original post by admin and software by Elliott Back