PRACTICA PRIMERA DE PROLOG

Alumnos: ANTONIO CASTILLO HIERRO Y DAVID ARTEAGA GARCA

NIAs respectivos: 100291346 y 100290879

EJERCICIO 1
1. Cuando introducimos esto nos da el coche conducido por Silvia
2. La consulta seria: conductor(X,clio).
3. Con esta consulta nos da los pasajeros que viajan en ese coche, siempre y cuando
demos varias veces al espacio para que nos muestren todos los pasajeros y no solo
uno
X = raul ;
X = roman ;
X = elena ;
X = ricardo ;
X = tamara ;
X = ruben ;
X = arancha ;
X = pablo.
4. La consulta seria: pasajero(roman,X). Luego daramos al espacio para ver los coches
totales
X = ibiza ;
X = leon.
5. Esta consulta nos permite saber el coche o coches (aunque en este caso es solo uno)
cuya conductora es Gema, y cuya pasajera es Mara en el mismo instante. En este caso
solo coinciden en la Ida
6. En este caso nos muestra en qu coche va cada una y cuando coinciden. Coinciden en
la ida con el len y difieren en la vuelta, gema conduce el len, y mara es pasajera
del clio
X = Y, Y = leon ;
X = leon,
Y = clio.
7. conductor(miguel,X), pasajero(ruben,X). Esto nos da como resultado el coche
clio.
8. La consulta sera: conductor(alberto,X), conductor(marta,X). Nos da como resultado,
Ibiza.







EJERCICIO 2
1-es la sospechosa una bruja?
Introducimos:
Bruja(sospechosa)
(Resultado)
True.
2-es el ganso una bruja?
Introducimos:
Bruja(ganso).
(Resultado)
False
3.CODIGO nuevo
mujer(elisa).
mismopeso(X, ganso):- mujer(X).
bruja(X):- mujer(X),arde(X).
esdemadera(X):- flota(X).
arde(X):-esdemadera(X).
flota(X):- mismopeso(X, ganso).
4. Quienes son mujeres?
Introducimos:
Mujer(X).
(Resultado)
X= Elisa

5.quien es una bruja?
Introducimos:
Bruja(X).
(Resultado)
X= Elisa.
6. Qu debera suceder para que Elisa fuese una bruja?
Introducimos:
Mismopeso(X, ganso).
(Resultado)
X= Elisa.

EJERCICIO 3


a) Tiene gregorio subordinados directos?

S. Para averiguarlo hemos introducido:
esjefedirecto(gregorio,X).
(el resultado es)
X = victoria.

b) Tiene jesus algn jefe directo?

S. Para averiguarlo hemos introducido:
esjefedirecto(X,jesus).
(el resultado es)
X = monica.

c) Tienen jesus y nacha el mismo jefe directo? Y jesus y julian?

La respuesta a la primera pregunta es No!. Para averiguarlo hemos introducido:
esjefedirecto(X,jesus),esjefedirecto(X,nacha).
(el resultado es)
false.
La respuesta a la segunda pregunta es S!. Para averiguarlo hemos introducido:
esjefedirecto(X,jesus),esjefedirecto(X,julian).
(el resultado es)
X = monica.

d) Quin es el jefe directo del jefe directo de bernardo?

Para averiguarlo hemos introducido:
esjefedirecto(X,bernardo),esjefedirecto(Y,X).
(el resultado es)
X = monica,
Y = victoria.
Obs: como vemos nos dan los dos jefes anteriores. El resultado seria Y=victoria

e) Coinciden en la misma persona el jefe del jefe de bernardo y de jesus?

La respuesta es SI. Para comprobarlo hemos introducido:
esjefedirecto(X,bernardo),esjefedirecto(Y,X),esjefedirecto(X,jesus),esjefedirecto(Y,X).
(el resultado es)
X = monica,
Y = victoria.

(Hemos hecho una prueba con otro empleado distinto y el resultado es el siguiente)
esjefedirecto(X,bernardo),esjefedirecto(Y,X),esjefedirecto(X,sofia),esjefedirecto(Y,X).
(el resultado ha sido)
false.



f) Es gregorio el mentor de monica?

La respuesta es Si. Hemos introducido:
esmentor(gregorio,monica).
(el resultado es)
true.

g) De quin es mentora victoria?

Introducimos:
esmentor(victoria,X).
(El resultado es)
X = julian ;
X = jesus ;
X = bernardo.

h) Podra listar todas las posibles relaciones mentor-protegido en la organizacin?

Si. Introducimos:
esmentor(X,Y).
y al pulsar varias veces espacio nos da la lista:
X = gregorio,
Y = monica ;
X = victoria,
Y = julian ;
X = victoria,
Y = jesus ;
X = victoria,
Y = bernardo ;
X = monica,
Y = sofia ;
X = monica,
Y = nacha.

i) Coinciden los mentores de sofia y bernardo?

No. Introducimos para comprobarlo:
esmentor(X,sofia),esmentor(X,bernardo).
(el resultado es)
false.