MC336 - Prova Prolog

Enunciado distribuído na sala.

Critérios de correção

Descuidos perdoados:

atom em lugar de atomic
\== em lugar de \=
singleton variable
cláusula a mais que não atrapalha
lenght em lugar de length

Perde 0,5 pontos:

não usou [ ] para o caso base
ressatisfação não falha, cláusulas redundantes
cláusulas erradas em geral
faltou argumento extra para usar como acumulador
colchetes a mais ou a menos
confundiu parênteses e colchetes
ordem errada em argumentos
ordem errada em cláusulas
ordem errada em corpos de regras
esqueceu :-
usou is em contexto não aritmético
usou uma mesma variável para propósitos distintos
esqueceu atom, atomic, is_list, ou usou-os erradamente (questão 1)
não soube colocar elemento no fim da lista (questão 1)
confundiu [ ] com 0 (questão 3)
esqueceu de multiplicar pelo coeficiente (questão 3)
não soube exponenciar (questão 3)
trocou + por * (questão 4)

Perde 1,0 ponto:

não definiu predicado auxiliar usado
faltou inverter sub-árvores (questão 1)
achatou ao superinverter (questão 1)
só cuidou do caso "membro" ou "não membro" (questão 2)
escreveu poly como se tivesse o reverso da lista dada (questão 3)
criou inverso da lista pedida (questão 4)

Perde 1,5 pontos:

comparou um elemento só com o próximo (questão 2)

Perde a questão toda:

escreveu código cheio de erros, que não da' pra entender

Outros critérios:

função principal não funciona, mas auxiliar sim: ganha 1,0 ponto na questão
acertou apenas caso base [ ],[ ]: ganha 0,5 na questão

© 2009 João Meidanis