PROGRAMACION LOGICA Y FUNCIONAL

TAREA 3 Y 4 , PARCIAL 2 VALOR 10 PUNTOS)

1. Se definen los siguientes predicados con sus smbolos. Escriba cada enunciado
simblicamente. Hacer uso de los cuantificadores adecuados.
D(x): x es un da, S(x): x es soleado, L(x): x es lluvioso
a) Todos los das son soleados
b) Algunos das son lluviosos
c) Todo da que es soleado no es lluvioso
d) Algunos das son soleados y lluviosos
e) Ningn da es soleado y lluvioso a la vez
f ) Solo es da soleado el da lluvioso
2. Si A(x): x es un automvil, R(x): x es rpido, L(x): x es lento. Escriba cada
enunciado simblicamente. Atencin a los cuantificadores.
a) Algunos automviles son rpidos y lentos.
b) Algunos automviles son rpidos.
c) Ningn automvil es lento y rpido a la vez.
d) Todos los automviles son lentos.
e) Solo es automvil rpido el automvil lento.
f) Todo automvil que es rpido no es lento.
3. Sea T(x, y): x es mas alto que y. El dominio consta de 5 estudiantes: Lina, que
mide 1.55 cm, Federnam, que mide 1.70 cm, Francisco que mide 1.64 cm, Isabel,
que mide 1.60 cm y Alexander, quien mide 1.68 cm. Escriba cada proposicin con
palabras e indique si es verdadera o falsa. a) a) a) xyT(x, y).
b) xyT(x, y).
c) xyT(x, y).
d) xyT(x, y).
e) yxT(x, y).
f ) xyT(y, x).
4. Si L(x, y): x ama a y, H(x): x es joven, M(x): x es un hombre, W(x): es una
mujer, P(x): x es hermosa, j: Juan, k: Katherine, Escriba el equivalente en
espaol de los siguientes enunciados simblicos:
a) (x)(M(x) H(x))
b) (x)[W(x) (y)(L(x, y) M(y) H(y))]
c) (x)(M(x) H(x) L(x, k))
d) (x)(W(x) P(x) L(j, x))

5. Unificar los siguientes pares de predicados.

A. f(marcos), f(csar)
B. f(X), f(g(Y))
C. f(marcos, g(X,Y)), f(X, g(csar, marcos))
D. p(X, X), p( g(X), g(X))
E. p(X, X), p( Y, g(X))
F. p(X, f(x)), p(Y, Y)
G. p(Y, Y, b), p(Z, X, Z)
H. p(f(X,X), a), p(f(Y, f(Y,a)), a)

REALIZAR EN PROLOG

Una nutriloga desea recomendar cuantas caloras pueden consumir al da, en

un restaurante, bajo las siguientes restricciones.

Hombre 1000 caloras al da.

Mujer 800 caloras al da.

Para lo siguiente tenemos la siguiente informacin.

Realiza la base de conocimiento, de tal manera que la nutriloga le sugiera a
sus clientes una dieta con las caloras adecuadas para norma, juan, pedro,
mara, Jess, Martin, Filogonio, francisca, Crescenciano y Apolonio.

El cliente solo podr pedir , un plato de entrada, un segundo plato: carne o

pescado y postre.

DE ENTRADA:
CREMA DE CALABACN 174 KCAL.
ALCACHOFAS HERVIDAS 295 KCAL
ACELGAS CON PATATAS 300 KCAL
GARBANZOS CON ESPINACAS 200 KCAL
POTAJE DE GARBANZAS 244 KCAL
ARROZ A LA CUBANA 403 KCAL
PAELLA 455 KCAL

SEGUNDOS PLATOS
PESCADO BLANCO A LA PLANCHA 225 KCAL.
CABRITO ASADO CON PATATAS 222 KCAL
FILETE ASADO 380 KCAL
PESCADILLA 220 KCAL.
CARNE DE PUERCO EN SALSA 342 KCAL
GAMBAS A LA PLANCHA 326 KCAL.
LANGOSTINOS COCIDOS 246 KCAL.

POSTRE

ARROZ CON LECHE 200 KCAL.

NATILLA DE VAINILLA 350 KCAL.
HELADO DE CHOCOLATE 370 KCAL.
FLAN NAPOLITANO 320 KCAL
PASTEL DE CHOCOLATE 420 KCAL.
NAPOLITANO DE NUEZ 450 KCAL.

%realizamos nuestra base de conocimientos, comenzando con la entrada

%hechos

hombre(filogonio).
Hombre(jesus)
Hombre(martin)
Hombre(juan)
Hombre(pedro)
Mujer(norma)
Mujer(mariana)
Mujer(francisca)
Mujer(filomena)
mujer(mariana).

entrada(crema_de_calabacin)
entrada(alcachofas_hervidas)
entrada(acelgas_con _patatas)
entrada(garbanzos_con_espinacas)
entrada(potage_de _garbanzas)
entrada(arroz_a_la_cubana).
entrada(paella).
carne(cabrito_asado_con_patatas)
carne(filete asado)
carne(carne_de_puerco_en_salsa)
pescado(pescado_blanco_a_la plancha)
pescado(gambas a la planca)
pescado(langostinos cocidos)
pescado(pescadilla)

postre(arroz_con_leche).
postre(natilla_de_vainilla).
postre(helado_de_chocolate).
postre(flan_napolitano).
postre(paster_de_chocolate).
postre(napolitano_de_nuez).

caloras(crema_de_calabacin,174)
caloras(alcachofas_hervidas,295)
caloras(acelgas_con _patatas, 300)
caloras(garbanzos_con_espinacas,200)
caloras(potage_de _garbanzas,244)
caloras(arroz_a_la_cubana, 403)
caloras(paella,455)
caloras(cabrito_asado_con_patatas,222)
caloras(filete asado,380)
caloras(carne_de_puerco_en_salsa,342)
caloras(pescado_blanco_a_la plancha,225)
caloras(pescadilla, 220)
caloras(gambas a la plancha,326)
caloras(langostinos cocidos ,246)
caloras(arroz_con_leche,200).
caloras(natilla_de_vainilla,350).
caloras(helado_de_chocolate,370)
caloras(flan_napolitano,320).
caloras(pastel_de_chocolate,420)
caloras(napolitano_de nuez,450).

REALIZAR LAS CLAUSULAS PARA RESOLVER LO QUE SE TE PIDE