En Prolog, los hechos son afirmaciones básicas sobre el mundo que estamos modelando. Los hechos son la forma más simple de cláusulas en Prolog y se utilizan para representar información que se considera verdadera. En esta sección, aprenderemos cómo definir hechos en Prolog, cómo se estructuran y cómo se utilizan en consultas.

1. Hechos: Afirmaciones simples que se consideran verdaderas.
2. Átomos: Nombres constantes que representan objetos o relaciones.
3. Predicados: Funciones que representan relaciones entre átomos.

Un hecho en Prolog se define utilizando un predicado seguido de uno o más átomos entre paréntesis, y termina con un punto. La estructura básica es:

1. Hecho Simple:

   hombre(juan).
   

   Este hecho afirma que "Juan es un hombre".

2. Hecho con Múltiples Átomos:

   padre(juan, pedro).
   

   Este hecho afirma que "Juan es el padre de Pedro".

Supongamos que queremos modelar una pequeña base de datos familiar. Definimos algunos hechos sobre las relaciones familiares:

En este ejemplo:

• hombre(juan). afirma que Juan es un hombre.
• mujer(maria). afirma que María es una mujer.
• padre(juan, pedro). afirma que Juan es el padre de Pedro.
• madre(maria, pedro). afirma que María es la madre de Pedro.

Una vez que hemos definido nuestros hechos, podemos hacer consultas para obtener información de nuestra base de datos. Las consultas se realizan utilizando los mismos predicados y átomos que hemos definido en nuestros hechos.

1. Consulta Simple:

   ?- hombre(juan).
   

   Esta consulta pregunta si "Juan es un hombre". Prolog responderá true si el hecho está en la base de datos.

2. Consulta con Variables:

   ?- padre(juan, X).
   

   Esta consulta pregunta "¿Quién es el hijo de Juan?". Prolog responderá X = pedro si el hecho está en la base de datos.

Ejercicio 1: Define los siguientes hechos en Prolog:

• mujer(ana).
• padre(carlos, ana).
• madre(luisa, ana).

Solución:

Ejercicio 2: Realiza las siguientes consultas en Prolog:

1. ¿Es Ana una mujer?
2. ¿Quién es el padre de Ana?

Solución:

1. Consulta:

   ?- mujer(ana).
   

   Respuesta:

   true.
   

2. Consulta:

   ?- padre(X, ana).
   

   Respuesta:

   X = carlos.
   

En esta sección, hemos aprendido cómo definir hechos en Prolog y cómo utilizarlos para hacer consultas. Los hechos son la base de cualquier programa en Prolog y nos permiten representar información básica sobre el mundo que estamos modelando. En la próxima sección, exploraremos cómo definir reglas para crear relaciones más complejas entre nuestros hechos.

Errores Comunes y Consejos:

• Error: Olvidar el punto al final de un hecho.
  • Consejo: Asegúrate de que cada hecho termine con un punto (.).
• Error: Usar mayúsculas para átomos.
  • Consejo: Los átomos deben comenzar con una letra minúscula. Las mayúsculas se reservan para variables.

Con estos conocimientos, estás listo para avanzar a la siguiente sección, donde aprenderemos a definir reglas en Prolog.