``Package de matemática''

No âmbito das aulas práticas, foi implementado um ``package de matem ática'' --ficheiro math.pl -- que permite o cálculo do valor numérico de expressões matemáticas na notação usual. Com este trabalho pretende-se que aumentem a funcionalidade deste ``package'', principalmente no que diz respeito aos seguintes pontos:

• Tratamento de erros de sintaxe (dá jeito uma DCG)).
• Manejo de expressões que envolvam variáveis (com ou sem atribuição de valores).
• Permitir derivação simbólica² de funcões reais em rela ção a uma variável. Salientamos alguns aspectos a ter em consideração:
  • Simplificação das expressões: não permitir respostas em que apareçam termos como x+x ou $x\ +1+x$ quando pode escrever $2\ast x$ e $2\ast x+1$.
  • Naturalidade na forma como as expressões podem ser escritas:
    • $2\,a\,x$ em vez de $2\ast a\ast x$
    • $d\left( x\symbol{94}2\right) /dx$ em vez de algo como $% deriva\left( x\symbol{94}2,x\right)$

Exemplo (esta ou outra sintaxe amigável):

         ?-calcula('{X=2+3!; y=2}, d(X^3+y)/dX * (3^2+1)+6-Z^y', R).
           R = 1926 - Z^2