Practiquitas de Prolog

PROGRAMACION LOGICA Y FUNCIONAL TAREA 3 Y 4 , PARCIAL 2 VALOR 10 PUNTOS) 1. Se definen los siguientes predicados con sus símbolos. Escriba cada enunciado simbólicamente. Hacer uso de los cuantificadores adecuados. D(x): “x es un día”, S(x): “x es soleado”, L(x): “x es lluvioso” a) Todos los días son soleados b) Algunos días son lluviosos c) Todo día que es soleado no es lluvioso d) Algunos días son soleados y lluviosos e) Ningún día es soleado y lluvioso a la vez f ) Solo es día soleado el día lluvioso 2. Si A(x): “x es un automóvil”, R(x): “x es rápido”, L(x): “x es lento”. Escriba cada enunciado simbólicamente. Atención a los cuantificadores. a) Algunos automóviles son rápidos y lentos. b) Algunos automóviles son rápidos. c) Ningún automóvil es lento y rápido a la vez. d) Todos los automóviles son lentos. e) Solo es automóvil rápido el automóvil lento. f) Todo automóvil que es rápido 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 proposición con palabras e indique si es verdadera o falsa. a) a) a) ∀x∀yT(x, y). b) ∀x∃yT(x, y). c) ∃x∀yT(x, y). d) ∃x∃yT(x, y). e) ∀y∃xT(x, y). f ) ∃x∀yT(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 español de los siguientes enunciados simbólicos: 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(césar)

B.

f(X), f(g(Y))

C.

f(marcos, g(X,Y)), f(X, g(césar, 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 nutrióloga desea recomendar cuantas calorías pueden consumir al día, en un restaurante, bajo las siguientes restricciones.

Hombre 1000 calorías al día. Mujer 800 calorías al día.

Para lo siguiente tenemos la siguiente información.

Realiza la base de conocimiento, de tal manera que la nutrióloga le sugiera a sus clientes una dieta con las calorías adecuadas para norma, juan, pedro, maría, Jesús, 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 CALABACÍN 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).

calorías(crema_de_calabacin,174) calorías(alcachofas_hervidas,295) calorías(acelgas_con _patatas, 300) calorías(garbanzos_con_espinacas,200) calorías(potage_de _garbanzas,244) calorías(arroz_a_la_cubana, 403) calorías(paella,455) calorías(cabrito_asado_con_patatas,222) calorías(filete asado,380) calorías(carne_de_puerco_en_salsa,342) calorías(pescado_blanco_a_la plancha,225) calorías(pescadilla, 220)

calorías(gambas a la plancha,326) calorías(langostinos cocidos ,246) calorías(arroz_con_leche,200). calorías(natilla_de_vainilla,350). calorías(helado_de_chocolate,370) calorías(flan_napolitano,320). calorías(pastel_de_chocolate,420) calorías(napolitano_de nuez,450).

REALIZAR LAS CLAUSULAS PARA RESOLVER LO QUE SE TE PIDE