1. Existe algún programa en C para el cual no hay equivalente (semántico) en Prolog? O viceversa? Explica brevemente tu respuesta.

Transcripción

1 A. Semántica / Verificación de Programas 1. Existe algún programa en C para el cual no hay equivalente (semántico) en Prolog? O viceversa? Explica brevemente tu respuesta. Church s thesis: any computable function can be computed by a Turing machine. 2. Considera el siguiente programa en IMP donde inicialmente n 0. Encuentra un invariante para el loop en el programa. Entre mas fuerte sea tu invariante, mas útil es (por ejemplo, true es un invariante para cualquier loop, pero no es muy útil). j := 0; x := 1; while j < n do j := j + 1; x := 2 * x The loop invariant is 0 >= j and j =< n and x = 2^j 3. Nota que n (inicialmente n 0) no es modificado nunca en el programa de la pregunta anterior. Usando el método de prueba de tripletas de Hoare, prueba que la propiedad x = 2 n se satisface al terminar el while loop (es decir, al terminar el programa). Es decir, prueba formalmente la tripleta: {n 0} j := 0; x := 1; while j < n do j := j + 1; x := 2 * x {x:=2^n} B. Programación Lógica 1. Considera el siguiente programa lógico: m(x) :- s(x), n(b). m(x) :- s(x), n(x). s(x) :- l(x). s(x) :- q(y), r(x,y). q(x) :- p(x). p(b). r(a,b). l(c). n(a). Dibuja el arbol SLD completo para la pregunta?- m(a) 1

2 2. Considera el siguiente programa en Prolog: path(x,x). path(x,y) :- path(z,y), link(x,z). link(s,c). link(s,t). Que respuestas obtenemos del interprete de Prolog si le preguntamos?- path(s,t) y repetidamente pedimos mas soluciones tecleando ;.?- path(simula67,t). T = simula67 ; T = cplusplus ; T = smalltalk80 ; Stack Overflow 3. El siguiente predicado de Prolog determina si existe un camino entre dos nodos de una gráfica dirigida acíclica. reach(x, Y) :- arc(x, Y). reach(x, Y) :- arc(x, Z), reach(z, Y). Asume que arc(x,y) es verdadero cuando existe un arco desde el nodo X al nodo Y. Si hacemos la pregunta reach(a, b), la evaluación de Prolog simplemente nos dirá si existe un camino desde el nodo a al nodo b. Como podemos aumentar la funcionalidad de reach(a,b) para que también nos regrese el camino entre a y b (si es que existe alguno)?. Esto es, necesitas definir un predicado ternario reach(x,y,path). La pregunta reach(a,b,p) debe fallar si no existe camino alguno entre a y b, y en el caso contrario, debe tener éxito y regresarnos en P el camino entre a y b (como una lista en Prolog). reach(x, Y, [X, Y]) :- arc(x, Y). reach(x, Y, [X Path]) :- arc(x, Z), reach(z, Y, Path). C. Programación Funcional 1. A que evalúa la siguiente expresión: (fn g => g 3) (fn x => x * 2) (fn g => g 3) (fn x => x * 2) -> (fn x => x * 2) 3 -> 3 * 2 -> 6 2

3 2. Escribe definiciones en SML para las funciones (a) lenght (longitud de una lista) (b) append (concatenacion de 2 listas) (c) usando tus definiciones rescribe paso a paso las expresiones length([10,20,30]) y append [1,2] [3,4] fun length [] = 0 length (x::xs) = 1 + length(xs) ; length([10,10,10]) -> 1 + length([10,10]) length([10]) length([]) fun append [] ys = ys append (x::xs) ys = x :: (append xs ys); append [1,2] [3,4] -> append (1::2::nil) [3,4] 1::(append (2::nil) [3,4]) 1::(2::(append [] [3,4]) 1::(2::([3,4])) [1,2,3,4] 3. Lenguajes funcionales como SML permiten al usuario definir tipos de datos recursivos. Por ejemplo, un árbol binario de enteros puede ser definido por el tipo de datos datatype IntBinTree = Empty Node of (IntBinTree, int, IntBinTree) ; Define una función postorden : IntBinTree int list. Esta función toma un intbintree como argumento y regresa una lista de enteros. Esta lista contiene los enteros en el árbol binario; el orden de estos enteros es el generado recorriendo el árbol en post orden: en un recorrido post orden de un árbol cada nodo es visitado después de su subárbol izquierdo y derecho. fun postorder(empty) = nil postorder(node(t1,n,t2)) = append(postorder(t1), append(postorder(t2), [n])); fun append(nil, ys) = ys append(x::xs,ys) = x :: append(xs,ys); 3

4 D. Concurrencia 1. Considera el siguiente programa con dos procesos P1 y P2: var v1, v2 of boolean; initially v1=v2=false; P1 is v1:=true; while v2 do no-op; Critical_Section_1; v1:=false; Remainder_Section_1; P2 is v2:=true; while v1 do no-op; Critical_Section_2; v2:=false; Remainder_Section_2; (a) El programa satisface la propiedad de exclusión mutua? Explica. (b) El programa satisface la propiedad de progreso? Explica. 2. Usando semáforos como mecanismo de sincronización propón una solución al problema de los filósofos comensales (dining philosophers). Philosopher i: wait(chopstick[i]) wait(chopstick[i+1 mod 5]) eat signal(chopstick[i]); signal(chopstick[i+1 mod 5]); think 3. Contrasta brevemente la operacion x.wait de un monitor con la operacion wait(s) asociada con los semáforos. E. Practicas 1. Escribe el predicado transfiere(n,a,b,i) del problema de las torres de Hanoi, donde: N es el numero de discos a transferir A es la estaca en donde los discos están B es la estaca a donde queremos mover los discos I es la estaca intermedia que usamos para almacenar discos Asume (como en la practica) el predicado para mover los discos: mueve(a,b) :- nl, write('mueve el disco de arriba desde '), write(a), write(' a '), write(b). 4

5 transfiere(1,a,b,i) :- mueve(a,b). transfiere(n,a,b,i) :- M is N-1, transfiere(m,a,i,b), move(a,b), transfiere(m,i,b,a). 2. Escribe la definicion del predicado encodeestatement para compilar el ifthenelse (asume ya definidas encodetest y encodestatment para los otras instrucciones del lenguaje). Es decir, define encodestatement(if(test,then,else),d,(testcode; Thencode; instr(jump,l2); label(l1); Elsecode; label(l2)) ) :- encodestatement(if(test,then,else),d, (Testcode; Thencode; instr(jump,l2); label(l1); Elsecode; label(l2)) ) :- encodetest(test,d,l1,testcode), encodestatement(then,d,thencode), encodestatement(else,d,elsecode). 3. Escribe la definicion de assemble/3. Recuerda que el significado de assemble(x,y,z) es que Y es la dirección de inicio y Z la ultima dirección de la secuencia de instrucciones X. Recuerda que el contexto donde assemble aparece es el predicado compile: compile(source, (Code; instr(halt,0); block(l)) ) :- encodestatement(source,d,code), assemble(code,1,n0), N1 is N0+1, allocate(d,n1,n), L is N-N1. La definicion de assemble es algo asi: assemble((code1;code2),n0,n1) :- assemble(instr(_,_),n0,n) :- assemble(label(n),n,n). assemble((code1;code2),n0,n1) :- assemble(code1,n0,n2), assemble(code2,n2,n1). assemble(instr(_,_),n0,n) :- N is N0+1. assemble(label(n),n,n). 5