SOLUCION DEL EXAMEN SUSTITUTORIO DE INTELIGENCIA ARTIFICIAL

DIPLOMADO

REDESGESTION

CURSO A CURSO FCURSO ECURSO DCURSO CCURSO B

Miguel Juan Ana Pablo Alex Pedro Ross Katy Diego Pamela Junior Marco Liz Alberto

12 11 5 12 15 6 15 1218 14 11 8 12 18

CONSULTA:

1. Listar los papas del alumnado de gestión y de redes:

papas_alumnado(X,Y):-es_curso_de(A,X),lleva_el_curso(B,A),papa_de(B,Y).

Resultado:

2.- Listar los distritos de residencia de los alumnos de gestión y redes:

distrito_alumnado(X,Y):-es_curso_de(A,X),lleva_el_curso(B,A),en_distrito(B,Y).

Resultado:

3.-Listar alumnos aprobados:

alumnos_aprobados(X,Y):- es_curso_de(D,X),lleva_el_curso(Y,D),tiene_nota(Y,B),aprobo(B,C),C<10.

Resultado:

CODIGO:diplomado(redes).

diplomado(gestion).

curso(a).

curso(b).

curso(c).

curso(d).

curso(e).

curso(f).

alumno(X):-hombre(X).

alumno(X):-mujer(X).

es_curso_de(a,gestion).

es_curso_de(b,gestion).

es_curso_de(c,gestion).

es_curso_de(d,redes).

es_curso_de(e,redes).

es_curso_de(f,redes).

%cursos de gestion

lleva_el_curso(miguel,a).

lleva_el_curso(marco,a).

lleva_el_curso(diego,a).

lleva_el_curso(ross,a).

lleva_el_curso(alex,b).

lleva_el_curso(ana,b).

lleva_el_curso(alberto,b).

lleva_el_curso(rosa,b).

lleva_el_curso(junior,c).

lleva_el_curso(pablo,c).

lleva_el_curso(liz,c).

lleva_el_curso(katy,c).

%cursos de redes

lleva_el_curso(miguel,d).

lleva_el_curso(marco,d).

lleva_el_curso(yecenia,d).

lleva_el_curso(juan,d).

lleva_el_curso(diego,e).

lleva_el_curso(alex,e).

lleva_el_curso(blanca,e).

lleva_el_curso(alberto,f).

lleva_el_curso(paloma,f).

lleva_el_curso(vanessa,f).

lleva_el_curso(andrea,f).

hombre(miguel).

hombre(juan).

hombre(marco).

hombre(luis).

hombre(alex).

hombre(diego).

hombre(junior).

hombre(pablo).

hombre(pedro).

hombre(alberto).

mujer(ross).

mujer(katy).

mujer(liz).

mujer(rosa).

mujer(blanca).

mujer(andrea).

mujer(vanessa).

mujer(ana).

mujer(paloma).

mujer(yecenia).

%papas (para alumnos)

papa_de(miguel,donVictor).

papa_de(juan,donFabian).

papa_de(marco,donGabriel).

papa_de(luis,donHugo).

papa_de(alex,donCarlos).

papa_de(diego,donGregorio).

papa_de(junior,donXavier).

papa_de(pablo,donRoberto).

papa_de(pedro,donManuel).

papa_de(alberto,donErnesto).

%papas (para alumnas)

papa_de(ross,donJaime).

papa_de(katy,donJulio).

papa_de(liz,donDario).

papa_de(rosa,donWalter).

papa_de(blanca,donSaul).

papa_de(andrea,donOmar).

papa_de(vanessa,donEmilio).

papa_de(ana,donCecilio).

papa_de(paloma,donAngel).

papa_de(yecenia,donRogelio).

%distritos del alumnado (varones)

en_distrito(miguel,carabayllo).

en_distrito(juan,ate).

en_distrito(marco,barranco).

en_distrito(luis,breña).

en_distrito(alex,comas).

en_distrito(diego,jesusmaria).

en_distrito(junior,lamolina).

en_distrito(pablo,lavictoria).

en_distrito(pedro,miraflores).

en_distrito(alberto,rimac).

%distritos del alumnado (mujeres)

en_distrito(ross,sanborja).

en_distrito(katy,sanluis).

en_distrito(liz,surquillo).

en_distrito(rosa,sanmiguel).

en_distrito(blanca,losolivos).

en_distrito(andrea,lince).

en_distrito(vanessa,magdalena).

en_distrito(ana,puentepiedra).

en_distrito(paloma,surco).

en_distrito(yecenia,sanmartindeporres).

%nota del 1 al 20

notas(01,02).

notas(02,03).

notas(03,04).

notas(04,05).

notas(05,06).

notas(06,07).

notas(07,08).

notas(08,09).

notas(09,10).

notas(10,11).

notas(11,12).

notas(12,13).

notas(13,14).

notas(14,15).

notas(15,16).

notas(16,17).

notas(17,18).

notas(18,19).

notas(19,20).

%notas

tiene_nota(miguel,12).

tiene_nota(marco,04).

tiene_nota(juan,11).

tiene_nota(alex,15).

tiene_nota(luis,09).

tiene_nota(ross,06).

tiene_nota(katy,12).

tiene_nota(ana,19).

tiene_nota(liz,12).

tiene_nota(rosa,05).

tiene_nota(pablo,12).

tiene_nota(paloma,08).

tiene_nota(junior,11).

tiene_nota(yecenia,11).

tiene_nota(alberto,18).

tiene_nota(pedro,06).

tiene_nota(diego,10).

tiene_nota(blanca,07).

tiene_nota(vanessa,16).

tiene_nota(andrea,10).

alumna_diplomada(X):-es_alumno(X),mujer(X),alumno_redes(X).

alumnas_que_llevan_diplomado(X):-mujer(X),lleva_el_curso(X,Y),es_curso_de(Y,M),diplomado(M).

nota(X,desaprobado) :- X >= 0, X < 10.

nota(X,aprobado) :- X >= 10.

gestion(X):-curso(Y),es_curso_de(Y,gestion),lleva_el_curso(X,Y).

redes(X):-curso(Y),es_curso_de(Y,redes),lleva_el_curso(X,Y).

ants(X,Y):-notas(X,Y).

ants(X,Z):-notas(X,Y),ants(Y,Z).

sigs(X,Y):-notas(Y,X).

sigs(X,Y):-notas(Y,Z),sigs(X,Z).

aprobo(E , C) :- setof(X ,sigs(X, E) , L) , length(L , R), C is R.

desaprobo(E , C) :- setof(X ,ants(X, E) , L) , length(L , R), C is R.

alumnos_aprobados(X,Y):- es_curso_de(D,X),lleva_el_curso(Y,D),tiene_nota(Y,B),aprobo(B,C),C<10.

alumno_aprobo(X):-alumno(X),tiene_nota(X,A),desaprobo(A,C),C>10.

conocidas(X,Y):-alumno(X),alumno(Y),gestion(X),redes(Y),mujer(X).

compañero(X,Y):-alumno(X),alumno(Y),redes(X),redes(Y),hombre(X).

compañero(X,Y):-alumno(X),alumno(Y),redes(X),redes(Y),mujer(X).

compañero(X,Y):-alumno(X),alumno(Y),gestion(X),gestion(Y),hombre(X).

compañero(X,Y):-alumno(X),alumno(Y),gestion(X),gestion(Y),mujer(X).

papas_alumnado(X,Y):-es_curso_de(A,X),lleva_el_curso(B,A),papa_de(B,Y).

distrito_alumnado(X,Y):-es_curso_de(A,X),lleva_el_curso(B,A),en_distrito(B,Y).

sigs(X,Y):-notas(Y,X).

sigs(X,Y):-notas(Y,Z),sigs(X,Z).

aprobo(E , C) :- setof(X ,sigs(X, E) , L) , length(L , R), C is R.

alumnos_aprobados(X,Y):- es_curso_de(D,X),lleva_el_curso(Y,D),tiene_nota(Y,B),aprobo(B,C),C<10.