PRACTICA DE ESTRUCTURAS

INTELIGENCIA ARTIFICIAL
ESTUDIANTE: SANTOS VASQUES ANDERSON 082165J

ESTRUCTURAS

1. Definir predicados para la siguiente estructura, que permita recuperar nombres y apellidos: Registro Persona:Nombre, Apellido, DNI Persona 1:Pedro, Lpez, 123456789 Persona 2:Ana, Macas, 987654321 Persona 3: Juan, Vargas, 17433652 Persona 4: Mara, palacios, 16705364

Resolucin: registro(persona(pedro,lopez,123456789)). registro(persona(ana,macias,987654321)). registro(persona(juan,vargas,17433652)). registro(persona(maria,palacios,16705364)). Consultas: 1 ?- registro(persona(X,Y,Z)). X = pedro, Y = lopez, Z = 123456789 ; X = ana, Y = macias, Z = 987654321 ; X = juan, Y = vargas, Z = 17433652 2. Definir predicados para la siguiente estructura, que permita: Consultar todos los equipos de Huelva que ganan en casa y los tanteos y consultar todos los equipos de Huelva que ganan en casa por ms de 10 tantos: Registro Equipo: Nombre, Ciudad. Registro Partido: Local, Visitante, Goles local, Goles visitante. Partido: Local: Alianza Lima, Lima, Goles: 4 Visitante: Garcilaso, Cuzco, Goles: 2 Partido: Local: Universitario, Lima, Goles: 2 Visitante: Melgar, Arequipa, Goles: 3 Resolucin: partido(local(nombre(Tigres),ciudad(Huelva)),visitante(nombre( Gigantes), ciudad(Albacete)), tlocal(5), tvisit(14)). partido(local(nombre(Osos), ciudad(Huelva)), visitante(nombre(guilas), ciudad(Lugo)), tlocal(17), tvisit(2)).

ESTRUCTURAS

Consultas: Predicadoquenosdicesiunequipoganaensucasayeltanteo: ?-ganacasa(X,Y,Z,V):partido(local(nombre(X),ciudad(Y)),_,tlocal(Z),tvisit(V)),Z>V. ConsultartodoslosequiposdeHuelvaquegananencasaylostanteos: ?-ganacasa(X,Huelva,Y,Z). X=Tigres, Y=10, Z=0; X=Osos, Y=17, Z=2; No ConsultartodoslosequiposdeHuelvaquegananencasapormsde10tant os: ?-ganacasa(X,Huelva,Y,Z), Y>Z+10.X=Osos, Y=17, Z=2; No

3. Un mono se encuentra en la puerta de una habitacin. En el centro de la habitacin hay un pltano colgado del techo. El mono est hambriento y desea coger el pltano, pero no lo alcanza desde el suelo. En la ventana de la habitacin hay una silla que el mono puede usar. El mono puede realizar las siguientes acciones: pasear de un lugar a otro de la habitacin, empujar la silla de un lugar a otro de la habitacin (si est en el mismo lugar que la silla), subirse en la silla (si est en el mismo lugar que la silla) y coger el pltano (si est encima de la silla en el centro de la habitacin). Definir la relacin solucin (E,S) que se verifique si S es una sucesin de acciones que aplicadas al estado E permiten al mono coger el pltano. Por ejemplo: Resolucin: solucin(estado(_,_,_,con),[]). solucin(E1,[A|L]) :- movimiento(E1,A,E2), solucin(E2,L). movimiento(estado(centro,silla,centro,sin),coger,estado(centro,silla, centro,con)). movimiento(estado(X,suelo,X,U),subir,estado(X,silla,X,U)). movimiento(estado(X1,suelo,X1,U),empujar(X1,X2),estado(X2,suelo, X2,U)). movimiento(estado(X,suelo,Z,U),pasear(X,Z),estado(Z,suelo,Z,U)). Consultas: ?- solucin(estado(puerta,suelo,ventana,sin),L). L=[pasear(puerta,ventana),empujar(ventana,centro),subir,coger]