Nombre de la materia

Inteligencia Artificial

Nombre de la Licenciatura
Ing. En Sistemas Computacionales

Nombre del alumno

Oscar Ulises Ordaz Rios

Matrícula
010540747

Nombre de la Tarea
Mi primer programa lógico

Unidad #
2

Nombre del Profesor

Carlos Robero Dominguez Mayorga

Fecha
28 de febrero de 2024
 Unidad 1: Sintaxis y semántica del lenguaje de programación lógica
Inteligencia Artificial

Introducción
Dentro de la Teoría de Lenguajes de Programación, la semántica aborda de manera rigurosa y
desde una perspectiva matemática el significado inherente a los lenguajes de programación.
Este análisis implica la evaluación del significado de las cadenas sintácticamente válidas
establecidas por un lenguaje de programación particular, revelando el proceso computacional
subyacente. En situaciones donde la evaluación se aplica a cadenas sintácticamente inválidas,
el resultado sería la ausencia de cómputo. La semántica proporciona una descripción del
proceso que sigue una computadora al ejecutar un programa en ese lenguaje específico. Este
enfoque puede manifestarse al describir la relación entre la entrada y la salida de un programa, o
al explicar cómo el programa se ejecutará en una plataforma determinada, generando así un
modelo de computación.
Desarrollo
Realiza un programa en Prolog con los siguientes hechos:
1. Clara es madre de Pedro
2. Pedro es padre de José.
3. Ana es madre de Clara.
4. José es padre de Clara.

2
 Unidad 1: Sintaxis y semántica del lenguaje de programación lógica
Inteligencia Artificial

¿Es Clara abuela de José?

R: Sí
¿Es Pedro abuelo de Clara?
R: Sí
¿Es Ana bisabuela de alguien?, ¿De quién?
R: Si, de José.

2. Genera un reporte de cómo realizaste el programa considerando como mínimo los siguientes
puntos:
¿Cómo instalaste el programa?
De forma muy sencilla utilizando el instalador que descargué de la página web oficial
https://www.swi-prolog.org/download/stable posteriormente busque el archivo exe con las
características de mi computadora. Una vez descargado lo ejecute como administrador y
finalmente solo acepte los términos
¿Qué software de Prolog usaste?, y ¿por qué?
La versión 8.3.3-175-g4035e4048 a 64 bits,era el que se adaptaba mejor a mi equipo.
¿Qué reglas sintácticas utilizaste?
El uso de espacios correspondientes y un renglón para cada instrucción.
Describe el funcionamiento del algoritmo.
Analiza cada una de las instrucciones a través de algoritmos de ordenamiento, las acomoda
revisando cada elemento de la forma correspondiente para verificar si las instrucciones dadas
son correctas.
¿Cómo se compila y qué resultado obtuviste?
Realizamos un archivo nuevo donde colocamos las variables; ya definidas se selecciona:
Compile>Compile Buffer y se obtiene el o los resultados o los errores.

3
 Unidad 1: Sintaxis y semántica del lenguaje de programación lógica
Inteligencia Artificial

Conclusión
Un sistema Prolog se fundamenta en un verificador de teoremas mediante resolución para
cláusulas de Horn. La regla de resolución no especifica qué cláusulas seleccionar ni qué literales
unificar en cada cláusula. La estrategia de resolución particular empleada por Prolog sigue una
forma de resolución de entrada lineal (árbol de búsqueda estándar). En la búsqueda de
cláusulas alternativas para satisfacer el mismo objetivo, Prolog adopta una estrategia de primero
hacia abajo (recorrido del árbol en profundidad). Debido a todo esto, el orden de las cláusulas
(hechos y reglas) en un procedimiento específico es crucial en Prolog, ya que determina el orden
en el que se encontrarán las soluciones, e incluso puede dar lugar a fallos en el programa. Aún
más significativo es el orden de las metas a alcanzar dentro del cuerpo de una regla.

Referencias

 Software de aplicación Prolog.http://www.swi-prolog.org/download/daily/bin/

 Programación lógica (Rossel, G., 2004).http://www.amzi.com/articles/

code07_whitepaper.pdf

 Tutorial Prolog - 2 - Introducción al Lenguajehttps://www.youtube.com/watch?

v=Asp20rw21IA

 Tutorial Prolog - 3 - Sintaxis & Base de Conocimientoshttps://www.youtube.com/watch?

v=TPgGMf4fGzY

 Tutorial Prolog - 4 – Unificaciónhttps://www.youtube.com/watch?v=lrlRzuCj8AM

 Tutorial Prolog - 5 - Prolog en Prácticahttps://www.youtube.com/watch?v=bsKhoVSHLMs

 Programación lógica (Rossel, G., 2004)