En esta sección, aprenderás los conceptos básicos para comenzar a programar en Prolog. Cubriremos cómo iniciar el entorno de Prolog, cómo escribir y ejecutar tu primer programa, y algunos conceptos fundamentales que te ayudarán a entender cómo funciona Prolog.

Antes de comenzar, asegúrate de tener Prolog instalado en tu sistema. Si no lo has hecho, revisa la sección Instalando Prolog.

Para iniciar Prolog, abre tu terminal o línea de comandos y escribe:

Esto iniciará el intérprete de Prolog (SWI-Prolog en este caso). Deberías ver un prompt similar a:

Este prompt indica que Prolog está listo para recibir consultas.

Crea un archivo con la extensión .pl, por ejemplo, primer_programa.pl. Abre este archivo en tu editor de texto favorito y escribe el siguiente código:

Guarda el archivo y vuelve a tu terminal donde tienes el intérprete de Prolog abierto. Para cargar el archivo, usa el siguiente comando:

Si el archivo se carga correctamente, verás un mensaje de confirmación. Ahora puedes hacer consultas sobre los hechos y reglas que has definido.

Puedes hacer preguntas a Prolog sobre los hechos y reglas que has definido. Por ejemplo:

Prolog responderá true si el hecho es cierto, o false si no lo es.

También puedes usar variables en tus consultas. Las variables en Prolog comienzan con una letra mayúscula o un guion bajo _. Por ejemplo:

Prolog intentará encontrar todos los valores de X que satisfacen la consulta. En este caso, responderá:

Los hechos son afirmaciones básicas sobre el mundo. En nuestro ejemplo, hombre(juan). es un hecho que afirma que Juan es un hombre.

Las reglas definen relaciones entre hechos. Por ejemplo, padre(X, Y) :- hombre(X), progenitor(X, Y). define que X es el padre de Y si X es un hombre y X es un progenitor de Y.

Las consultas son preguntas que hacemos a Prolog para verificar si ciertos hechos o reglas son verdaderos. Prolog intenta satisfacer las consultas usando los hechos y reglas disponibles.

1. Añade los siguientes hechos a tu archivo primer_programa.pl:

   mujer(luisa).
   progenitor(ana, luisa).
   progenitor(juan, pedro).
   

2. Define una nueva regla hermano(X, Y) que indique que X es hermano de Y si ambos tienen el mismo progenitor.

En esta sección, has aprendido cómo iniciar el entorno de Prolog, escribir y cargar tu primer programa, y realizar consultas básicas. También has aprendido sobre hechos, reglas y consultas, que son los bloques fundamentales de la programación en Prolog. En la siguiente sección, profundizaremos en la sintaxis y estructura básica de Prolog.