Final 08/08/2017 (Paradigmas)

De Cuba-Wiki
  1. Dado f a b = b: (a (-b)) decir que representa la expresión fix f 1
  2. Dado los términos: y . Ver y justificar. ¿El algoritmo de inferencia de tipos infiere el mismo resultado para ambos?.
  3. Dado el programa programa en Prolog:
    1. P(X) :- ! , Q(X)
    2. P(X) :- R(X)
      1. Indicar verdadero o falso para cualquier Q(X), R(X):
        1. El cut de (i) se puede eliminar sin alterar el conjunto de soluciones.
        2. El conjunto de soluciones no se modifica si la segunda regla se cambia por P(X) :- ! , R(X)
  4. Dado : y , indicar verdadero o falso:
    1. es resolvente de C1 y C2.
    2. C3 puede obtenerse en un único paso de resolución SLD a partir de C1 y C2. (Falso, porque SLD resuelve una sóla clasula del goal)
  5. Explicar qué pasaría si re definimos (S-func) de la siguiente manera:
  6. Objetos
    1. Seguimiento. Clase A, m:^1, n:^self m. Clase B n: super n. Clase C, n:^2, Clase D ...
      1. Indicar objetos y mensajes de: ( ClaseD new ) n
      2. Realizar lo mismo, pero agregando a ClaseC new: ^ClaseB new.