1. Identificación.

NOMBRE DE LA PRÁCTICA: Representación de conocimiento con LP

No. DE PRÁCTICA: 3 NO. DE SESIONES: 2

NO. DE INTEGRANTES MÁXIMO POR EQUIPO: 2

2. Introducción.

Antes de empezar a programar, tenemos que tener en claro el significado de lo que es un

paradigma de programación, este es una colección de patrones conceptuales que juntos
modelan el proceso de diseño y determinan la estructura del programa.

Los programas escritos en lenguajes con paradigmas declarativos, se construyen con

hechos, reglas, construcciones, relaciones o un conjunto de propiedades que nos pueda
dar una solución.

DLV es un sistema en Inteligencia Artificial basado en programación lógica disyuntiva el

cual ofrece Front- ends a varios formalismos KR avanzados.

El Lisp fue creado originalmente como una notación matemática práctica para los
programas de computadora, basada en el cálculo lambda de Alonzo Church. Se convirtió
rápidamente en el lenguaje de programación favorito en la investigación de la inteligencia
artificial (AI). Como lenguajes de programación precursor, el Lisp fue pionero en muchas
ideas en ciencias de la computación, incluyendo las estructuras de datos de árbol,
el manejo de almacenamiento automático, tipos dinámicos, y el compilador auto
contenido.

El nombre LISP (en inglés, ceceo) deriva del "LISt Processing" (Proceso de LIStas).
Las listas encadenadas son una de las estructuras de datos importantes del Lisp, y
el código fuente del Lisp en sí mismo está compuesto de listas. Como resultado, los
programas de Lisp pueden manipular el código fuente como una estructura de datos,
dando lugar a los macro sistemas que permiten a los programadores crear una nueva
sintaxis de lenguajes de programación de dominio específico empotrados en el Lisp.

Prolog es un lenguaje de programación que resuelve sus consultas utilizando

Backtrancking. En Prolog no es necesario definir los pasos que haríamos comúnmente en
el programa como en los lenguajes de programación iterativa, sino que se puede ir
construyendo nuestro programa con elementos tales como, predicado y hechos, bastante
usada esta técnica en la ingeniería de software en la obtención de los casos de uso en la
ingeniería de requisitos.
 3. Objetivo General.
El alumno representara las soluciones a los ejercicios planteados mediante Programación lógica.

4. Objetivos Específicos.
El alumno analizara el problema.
El alumno realizara la representación mediante lógica proposicional del problema y generara las
reglas pertinentes que determinen la solución.
El alumno escribirá la correspondiente solución en un lenguaje de programación lógica y analizara
sus resultados.

5. Reactivos/insumos, materiales/utensilios y equipos.

a) REACTIVOS/INSUMOS.

CANTIDAD DESCRIPCIÓN ESPECIFICACIONES OBS.

b) MATERIALES/UTENSILIOS.

CANTIDAD DESCRIPCIÓN ESPECIFICACIONES OBS.

c) EQUIPOS/INSTRUMENTOS.

CANTIDAD DESCRIPCIÓN ESPECIFICACIONES OBS.

15 PC Office 2010
DLV/ Prolog/ Lisp
 6. Desarrollo de la Actividad Práctica.

Definir en Prolog o DLV o LISP los predicados que definen por extensión todas las relaciones
familiares directas, padre(Padre, Hijo) y madre(Madre, Hijo) del árbol genealógico de la familia
Tudor.

Definir la relación progenitor, utilizando las relaciones de padre y madre.

Definir recursivamente la relación antepasado. Probar definiciones alternativas de esta relación
cambiando el orden de los predicados. Comprobar cómo afecta al comportamiento del programa el
orden usado en las distintas definiciones de antepasado.
Definir nuevas relaciones (como hermano, hermana, abuelo, abuela) añadiendo los predicados
(por ejemplo mujer, hombre) y reglas necesarios.

Realizar su propio árbol genealógico

7. Cuestionario.

Para cada uno de los ejercicios emplear Prolog para hacer consultas como quien es primo de
quien, o hermano o abuelo de quién?

Dibuje su árbol con nombres para comprobar sus consultas

8. Bibliografía.

Tutoriales en Línea del sistema de programación empleado.

9. Formato y especificación del reporte de práctica.

a. Escribir los programas en la libreta y cada una de las consultas realizadas.