Upload
villa-campina-arequipena
View
214
Download
0
Embed Size (px)
Citation preview
8/16/2019 Lab Prolog2
1/5
Universidad Peruana Los Andes
LABORATORIO 2
PREDICADOS Y OPERADORES
OBJETIVOS:◊ Comprender los predicados y Operadores.
PROCEDIMIENTO
Búsquedas: Entendiendo as Va!ia"es # P!edi$ados%
La práctica le permitirá proponer un sistema experto que deduzca toda una estructura
familiar partiendo de solo definir quien es &ad!e de quien, esto se ira definiendo paso a
paso.
Primero se ha de construir la ase de conocimientos con las si!uientes definiciones"
#omains persona$ strin!
Predicates
padre%persona,persona&.
Clauses
padre%'Palo', '(uan'&. )Palo es padre de (uan
padre%'Palo', '*arcela'&.
padre%'(uan', '*aria'&.
padre%'(uan', '*aura'&.
padre%'Carlos', '#eora'&.
padre%'*aria', 'Luis'&.
padre%'*aria', 'Pati'&.
padre%'#eora', '*i!uel'&.
Nota: +e esta definiendo el predicado padre, que representa al padre de familia, no se esta
considerando el !nero %masculino o femenino&.
Consutas:
-uien es el padre de (uan"
/OAL padre%-uien, '(uan'&
0espuesta"
1Palo2 de quien es padre"
/OAL
0espuesta"
PARTE 2: I'&e'entando '(s &!edi$ados:
3s necesario en ase al conocimiento propuesto se dee conocer quien es hi4o de quien,
quien es el auelo y los posiles hermanos, en ase a los datos anteriores
5ota"La inclusi6n de :) re presenta la estructura condicional si
7
8/16/2019 Lab Prolog2
2/5
8/16/2019 Lab Prolog2
3/5
Universidad Peruana Los Andes
-uien es el hermano de 1Pati2"
/OAL
0espuesta"
*ostrar todos los hermanos"
/OAL
0espuesta"
PARTE /: Desa!!oando '(s &!edi$ados:
Ahora hay que completar mas predicados, por e4emplo" Mau!a es sorino de
Ma!$ea y Ma!$ea es t9a de Mau!a por lo que es necesario desarrollar por lo que
complete nuevos predicados
Predicates
tio%persona,persona&.
sorino%persona,persona&.
Clauses
-uien es el t9o de 1*aria2"
/OAL
0espuesta"
1*aura2 de quien es tio"
/OAL
0espuesta"
*ostrar todos los tios"
/OAL
0espuesta"
-uien es el sorino de 1*arcela2"
/OAL
0espuesta"
1Pati2 de quien es sorino"
/OAL
0espuesta"
*ostrar todos los sorinos"
:
8/16/2019 Lab Prolog2
4/5
Universidad Peruana Los Andes
/OAL
0espuesta"
PARTE 0: Desa!!oando sus &!o&ios &!edi$ados # en$ont!ando !ea$iones:
;asta ahora se supone se ha identificado ya ciertos ras!os familiares por lo que se presenta
la si!uiente propuesta de árol familiar tomando en cuenta que el lazo de uni6n es" 1padre2"
1 a'iia 3: a'iia 2:
) palo carlos
) < = >
) 4uan marcela deora
) < = >
) maria maura mi!uel
) < =
) luis pati
Ahora se ve necesario identificar quien es familia de quien ya que pati no es familiar de
Ca!os por e4emplo, para esto se tendrá que proponer el predicado 4.a'iia!5 * 67 de manera que la
respuesta a dar tendrá que ser afirmativa en los casos necesarios por e4emplo"
/oal familiar%maura,marcela&.
0espuesta" ?3+
/oal familiar%pati,4uan&.
0espuesta" ?3+
/oal familiar%deora,?&.
0espuestas" ?$mi!uel ?$carlos 8 +olutions
@mplementar los respectivos predicados.
#espus de completados los predicados, realice las si!uientes consultas"
/OAL familiar%'*arcela', '*aria'&
0espuesta"
Por qu"
/OAL familiar%'(uan','*arcela'&
0espuesta"
Por qu"
/OAL familiar%'*i!uel','*arcela'&.
0espuesta"
Por qu"
/OAL familiar%'Pati','(uan'&.
0espuesta"
B
8/16/2019 Lab Prolog2
5/5
Universidad Peruana Los Andes
Por qu"
/OAL familiar%'Carlos','*i!uel'&.
0espuesta"
Por qu"
/oal familiar%'#eora',?&.
0espuesta"
Por qu"
/OAL familiar%'Pati','*arcela'&0espuesta"
Por qu"
TRABAJO APLICATIVO
7. 0ealice un árol !eneal6!ico de su familia, que ten!a desde hi4o hasta tatarauelo.
8. #el árol !eneal6!ico de su familia realice los si!uientes predicados" hi4o, padre, hermano.
? en ase a estos predicados realiza los si!uientes predicados" casadocon, cuDado, auelo,
nieto, t9o, sorino, primo, isauelo, isnieto, tatarauelo, tataranieto, etc.
:. ;a!a una copia del e4ercicio anterior y a!re!ue los predicados var6n y mu4er. #esarrolle
los mismos predicados del e4ercicio anterior, pero considere el !nero masculino y
femenino en cada uno de ellos. 34emplo, hi4o, hi4a, madre, padre, hermano, hermana,
casadocon, cuDado, cuDada, auelo, auela, nieto, nieta, tio, t9a, sorino, sorina, primo,
prima, isauelo, isauelo, isnieto, isnieta, tatarauelo, tatarauela, tataranieto,
tataranieta.
E