Exemplos "teórico-práticos" de
Linguagens de Programação II - 2005/6

Semana de 13 de Março

Exercício net.1

Olhe para o seguinte exemplo (do Tutorial Java; cópia local do programa aqui). Um "echo server" é um programa que ecoa fielmente a informação que lhe chega.

• Que faz o programa?
• Altere-o por forma a que em vez de fazer o que faz envie simplesmente a frase "Olá e Adeus" para um "servidor de eco" assumido a funcionar no endereço "127.0.0.1" (um endereço especial que denota o mesmo computador).

Semana de 20 de Março

Revisões Java à volta de um programa de "CHAT" (projecto internet). Acerca de testes automáticos.

Semana de 27 de Março

Colorização de mapas

inspirado no exemplo de Pereira e Porto, referido no "PROLOG by Example", de Coelho e Cotta, Springer Verlag 1988, ISBN: 0387183132

Arranjar uma combinação de côres (quatro chegam !) para o seguinte mapa da União Europeia (http://www.geog.fu-berlin.de/eurocis/eu/eu.html):

...escrevendo um golo para o seguinte programa que especifica as côres compatíveis entre regiões adjacentes (pista: baptizar as variáveis com os nomes dos países):

compativel(vermelho,verde).
compativel(vermelho,azul).
compativel(vermelho,amarelo).
compativel(verde,azul).
compativel(verde,amarelo).
compativel(azul,amarelo).

vizinho(R1,R2) :- compativel(R1,R2).
vizinho(R1,R2) :- compativel(R2,R1).

Semana de 10 Abril

Computação de derivadas

Escrever um predicado derivada(E,V,D) que determina a derivada D da expressão E em ordem à variável V para as quatro operações aritméticas. Por exemplo:

?- derivada(2*y+x,x,D).
D=1

Uma solução básica e outra com melhorias para simplificação de algumas expressões

Acerca de listas ordenadas

Escrever um predicado ordenada(L) que sucede se a lista de inteiros L estiver ordenada. Por exemplo:

?- ordenada([1,5,9,13]).
Yes

Seguidamente escrever um predicado ordenar(L,O) que dada uma lista L constroi uma lista O com os mesmos elementos ordenados. Neste exercício despreocupe-se com a eficiência: use o predicado permutation/2 (cap.3) e o predicado anterior...

Semana de 24 Abril

Saltos de cavalos (Bratko, 4.7)

• Definir a relação salto(Quadrado1,Quadrado2) caracterizando os movimentos possíveis para um cavalo em xadrex, em que Quadrado é um termo da forma Coluna/Linha, números entre 1 e 8. Assumir que Quadrado1 é dado (isto é, as suas coordenadas estão definidas).
• Definir a relação caminho(ListaDeQuadrados) que representa um caminho por um cavalo num tabuleiro vazio
• Descobrir todos os caminhos de 4 jogadas (5 quadrados) começando numa posição inicial de cavalo (por exemplo 2/1) e que chega ao lado oposto (linha 8) passando pelo quadrado 5/4 a partir da segunda jogada

Semana de 7 Maio

If-then-else e o cut

Definir um predicado seEntãoSenão(Se,Então,Senão), que simula a construção sintáctica se...então...senão... de outras linguagens. Por exemplo:

?-  NotaPrática=11, NotaTeórica=10, NotaTP=10, seEntãoSenão(NotaPrática<=8.5,Nota='NA',Nota is NotaPrática*0.4+NotaTeórica*0.5+NotaTP*0.1).
Nota = 10.4

Semana de 22 Maio

Sorted list merge (Bratko, 9.5)

• Escrever um predicado merge(L1,L2,L) para misturar os elementos de duas listas ordenadas, por forma a o resultado estar ordenado

Tree linearize (Bratko, 9.11)

• Escrever um predicado linearize(Dictionary,Elements) para obter a lista de todos os valores guardados num dicionário baseado numa árvore (cf. slide 8 das teóricas)

Semana de 29 Maio

A caixa de 4 portas e um meta-interpretador que a mostra (Bratko, secção 20.2.2)

Enquanto noutras linguagens é possível ilustrar a execução considerando dois pontos em cada procedimento/função/método - CALL, EXIT - no Prolog há necessidade de considerar mais dois: REDO, quando um golo é atingido em retrocesso à procura de mais soluções; e FAIL, quando um golo esgota as soluções. Os debuggers Prolog costumam mostrar estas 4 portas.

• Com base no interpretador de Prolog puro (3 linhas) mostrado na teórica, escreva um interpretador itrace(G) que vá mostrando (com write) o ponto de execução de cada golo. Abaixo mostra-se o comportamento pretendido para o predicado member (escrito 'membro' para não entrar em conflito com o member/2 que o SWI Prolog já tem pré-definido e que o predicado clause/2 não "vê"):

?- itrace(membro(X,[a,b])).
CALLing membro(X,[a,b])
EXITing membro(a,[a,b])
X=a ; % utilizador pede mais soluções
REDOing membro(a,[a,b])
CALLing membro(X,[b])
EXITing membro(b,[b])
EXITing membro(b,[a,b])
X=b ;
REDOing membro(b,[a,b])
REDOing membro(b,[b])
CALLing membro(b,[])
FAILing membro(b,[])
FAILing membro(X,[b])
FAILing membro(X,[a,b])