Paradigme de programare · 2011 · Sesiune

Fri Jun 3, 2011 2:09 pm

1 Ce val are f :

(define f (call/cc (lambda(x) x)))

(((f 'f) f) 1)

a) 1 b)Continuare f c)f

2 Cum este propozitia oricare x, y (x=>y) sau non y

a) Valida b) Satisfiabila c)Falsa

3 Cum este forma naturala a lambda expresiei:

((lx.(x x) lx.(x x)) lx.y)?

a) lx.y b)Este ireductibila c)y

4 Ce tip are expresia Haskell ([],[])?

5. Ce este o inchidere functionala?

6. Ce valoare are expresia Haskell

let { s=1:s ; (x:_)=s} in x?

a)1 b)expresia bucleaza c)Lista [1,1,...]

7. Ce ramane dupa

(deffacts facts (f 0))

(defrule r ?f<- (f?x)

=> assert (f (+ 1 ?x))

8 Markov

11&1111

M({1,m,M,&})

1: 1&1-> &

2: &1-> m&

3 1&->&M

4: &->.

a)MM b)mm c)m1

9. expresia (force(delay(delay e)))

este echivalenta cu :

a) (delay (delay e))

b) (delay e)

c) e

10) In Scheme evaluarea este:

a)latenta

b) in ordine normala

c)aplicativa

Problemele au fost cam asa :

1. Functie in Scheme care transforma o functie din forma curry in

forma uncurry (de fapt mai trebuia folosita inca o functie

intermediara - cu un singur paramteru - nu mai stiu exact cerinta, dar

ideea aia era).

2. In Haskell, cum codifici:

exista x in lista l a.i. p(x), unde p este un predicat

3. CLIPS - ai mai multe fapte de forma (f v1 v2 ... vn) Cum faci sa

elimini toate faptele cu i>1 (i, adik indicele din vi)

4. Prolog - ceva de genul om => generos si prieten => generos. Cum

codifici (2 randuri :) )

5. O chestie ceva mai complexa in Scheme, de definit p a.i. p = (force

(car p)) & p = (force (cdr p)).