Segundo Parcial 1er Cuat 2016 (Paradigmas)

Ejercicio 1

a)

Number >> pesos
 ^Dinero new.

Number >> centavos
 ^Dinero new.

b)

Number >> pesos
 ^Dinero withValue: self.

Number >> centavos
 ^Dinero withValue: self/100.

Dinero >> withValue: aNumber
 ^(Dinero new) value = aNumber.

Dinero >> = aDinero
 ^value = aDinero getValue.

Dinero >> + aDinero
 ^Dinero withValue: value + aDinero getValue.

Dinero >> getValue
 ^value.

c)

Dinero class >> actualizacion : unDiccionario
 keysAndValuesDo: [:k :v | number class compile (' k, '^Dinero withValue: ', v asString, '* self')].

Ejercicio 2

a) II) Forma lógica:

• 1) $\forall t_{1}\forall t_{2}subclase(t_{1},t_{2})\implies subtipo(t_{1},t_{2})$
• 2) $\forall t_{1}subclase(t_{1},t_{1})$
• 3) $\forall t_{1}\forall t_{2}(\exists t_{3}subclase(t_{3},t_{2})\wedge extiende(t_{1},t_{3}))\implies subclase(t_{1},t_{2})$
• 4) $extiende(perro,animal)$
• GOAL) $\forall x\neg subtipo(perro,x)$

Forma clausal ($t=t_{1},u=t_{2},v=t_{3}$):

1)

• $\forall t\forall u\neg subclase(t,u)\vee subtipo(t,u)$
• $\{\neg subclase(t_{1},u_{1})\vee subtipo(t_{1},u_{1})\}$

2)

• $\{subclase(t_{2},t_{2})\}$

3)

• $\forall t\forall u(\neg \exists vsubclase(v,u)\wedge extiende(t,v))\vee subclase(t,u)$
• $\forall t\forall u(\forall v\neg subclase(v,u)\vee \neg extiende(t,v))\vee subclase(t,u)$
• $\forall t\forall u\forall v\neg subclase(v,u)\vee \neg extiende(t,v)\vee subclase(t,u)$
• $\{\neg subclase(v_{3},u_{3})\vee \neg extiende(t_{3},v_{3})\vee subclase(t_{3},u_{3})\}$

4)

• $\{extiende(perro,animal)\}$

GOAL)

• $\{\neg subtipo(perro,x_{g})\}$

b)

asignaciónValida(+declaraciones, ?asignacion)
asignaciónValida(d, asig(v1, v2)) :- member(d, decl(v1, t1)), member(d, decl(v2, t2)), v1 \= v2, subtipo(t2, t1).

c)

reemplazar(+programaConVariables, +tipos, +asignacion)
reemplazar([], _, []).
reemplazar([asig(A, B)|PCVA], T, [asig(A, B)|PCVB]) :- reemplazar(PCVA, T, PCVB).
reemplazar([decl(A, TA)|PCVA], T, [decl(B, TB)|PCVB]) :- (var(TA), member(B, TB)); (\+ var(TA), TB == TA), reemplazar(PCVA, T, PCVB).

d)

unicovalido(+programaConVariables, +tipos)
unicovalido(PCV, T) :- reemplazar(PCV, T, P), valido(P), not(reemplazar(PCV, T, P2), valido(P2), P1 \= P2).