Laboratorio 2

SIS-120
Formalizacin de un contexto en Visual Prolog. Manejo de hechos,
reglas y objetivos.
Crear un programa en Visual Prolog (hechos, reglas, los apartados necesarios) para los
problemas indicados, utilizando variables, verificar la funcionalidad con los ejemplos de
construccin de por lo menos 10 objetivos (preguntas simples y compuestas) para cada
problema, describiendo sus significados y dando explicacin de las respuestas del Prolog.
Problema 1. En una base de Prolog se recopil la siguiente base de conocimiento:
% HECHOS
% padre (X , Y) , X es padre de Y
padre ( teraj , abraham ) .
padre (teraj , najor ) .
padre (teraj, haran ) .
padre (teraj, sara ) .
padre (haran, lot ) .
padre (haran, melca ) .
padre (haran, jesca ) .
padre (najor, batuel ) .
padre (batuel, rebeca ) .
padre (batuel, laban ) .
padre (abraham , ismael ) .
padre (abraham, isaac ) .
padre (isaac , esau ) .
padre (isaac , jacob ) .
% madre ( X , Y ) , X es madre de Y
madre ( agar , ismael) .
madre (sara, isaac ) .
madre (melca, batuel) .
madre (rebeca , esau) .
madre (rebeca , jacob) .
% REGLAS
% progenitor ( X , Y ) , X es ascendiente directo de Y
progenitor ( X , Y ) : - padre ( X , Y ) ; madre ( X , Y ) .

Realice una ampliacin de la base de conocimiento mediante la atenta lectura de estos fragmentos
del Gnesis:
"He aqu la descendencia de Teraj: Teraj engendr a Abram (posteriormente llamado
'Abraham', que significa 'Padre de multitud), Najor, y Harn. Harn engendr a Lot .... La mujer
de Abram se llamaba Sarai (o Sara) y la de Najor Melca, hija de Harn, padre de Melca y de
Jesca.
"Sarai, la mujer de Abram, no le haba dado hijos, pero ella tena una esclava egipcia de
nombre Agar. ... tom a Agar y se la dio por mujer a Abram, ... . Agar pari un hijo a Abram y a
este hijo tenido de Agar, Abram le llam Ismael.
Estando en la tierra de Guerar, Abram confeso que: es verdad que ella (Sarai) tambin es mi
hermana, hija de mi padre pero no de mi madre, y ahora es mi mujer.
"Sara, pues, concibi y pari un hijo en su vejez, en e l tiempo predicho por Dios. Y Abraham
llam al hijo que le naci Isaac (que significa el que re).
Isaac se cas con Rebeca, hija de Batuel, el que Melca pari a Najor y hermana de Labn.
Isaac y Rebeca tuvieron dos hijos, Esa y Jacob, pero sta es otra historia.

Se deben plantear como hechos los datos aportados sobre quin es hombre o mujer, padre o
madre de alguien o casado con alguien. El resto de relaciones familiares deben definirse como
reglas, en funcin de las anteriores.
Ms concretamente, defina las relaciones: "abuelo de ; "abuela de ; hermano de ; hermana
de ; to de ; ta de ; sobrino de ; sobrina de ; primo de ; prima de .
Problema 2.
Dados los siguientes enunciados:
1. Todas las porteas alegres tienen un amigo marino.
2. Ningn porteo feliz est casado con una portea triste.
3. Los porteos casados con amigas de marinos son burlados y son marinos.
4. Cornelio y Cornelia son un matrimonio de porteos felices.
5. Cete y Tita son un matrimonio de porteos felices.
6. Los marinos casados son todos felices.
Convierta las oraciones en un programa Prolog. No olvide que debe completar su programa con
algunos hechos necesarios para tener una base deductiva suficiente en su cdigo. Utilice el
programa para responder diferentes preguntas: Quines son felices?, Quines son burlados?,
Quines son marinos?, etc.
Problema 3.
Dados los siguientes enunciados:
1. Solamente las lunas orbitan alrededor de un planeta.
2. La Luna rbita alrededor de la Tierra.
3. Los planetas del sistema solar orbitan alrededor del Sol.
4. Venus y la Tierra son planetas del sistema solar.
5. El Sol es una estrella.
6. Toda estrella, luna o planeta es un cuerpo celeste.
Convierta las oraciones en un programa Prolog. Utilice el programa para responder a las
siguientes preguntas:
Quin rbita alrededor del sol? Es el sol un planeta? Cules son los cuerpos celestes?