PROLOG 1.3 REGLAS

1.3 REGLAS

Sabias que...
a) Las cláusulas son de tres tipos : hechos, reglas y preguntas.
b) Los hechos declaran cosas que siempre son incondicionalmente verdaderas.
c) Las reglas declaran cosas que son verdaderas dependiendo de una condición dada.
d) Por medio de preguntas, el usuario puede preguntar al programa cuáles cosas son
verdaderas

Utilizando el SWI-Prolog-Editor.

Fig.1 Muestra mas relaciones unarias de las cuales indican el sexo de cada nombre.

A continuación las preguntas.

Fig.2 En esta figura se observa la pregunta si ana y patricia son hermanas.