55 lines
2.2 KiB
Markdown
55 lines
2.2 KiB
Markdown
# O que é isto?
|
|
Este documento pretende tornar mais claro o funcionamento do polymani.pl.
|
|
Para isso explicamos brevemente a estrutura e realçamos algumas
|
|
particularidades de alguns predicados que de outro modo poderiam parecer
|
|
"abstratos".
|
|
|
|
## Algumas palavras sobre a estrutura e o frontend
|
|
O polymani divide-se em frontend e backend. O backend tem todos os predicados
|
|
usados para interação conforme especificado no assignment1.pdf.
|
|
|
|
Por outro lado, para que uma melhor experiência de utilização fosse possível,
|
|
tomamos a liberdade de implementar dois predicados auxiliares que, para inputs
|
|
inválidos, disponibilizam uma explicação mais amigável do erro.
|
|
|
|
## Backend
|
|
Abaixo descrevem-se alguns predicados selecionados com vista a tornar a
|
|
compreensão dos mesmos mais rápida e simples destacando-se algumas
|
|
particularidades que poderiam não ser evidentes numa primeira leitura.
|
|
|
|
### power
|
|
As comparações CLPFD permitiram-nos comparar se uma determinada variavel
|
|
pertencia um determinado domínio sem para isso termos de sacrificar a
|
|
reversibilidade das variáveis. CLPFD stands for Constraint Logic Programming
|
|
over Finite Domains.
|
|
|
|
### term
|
|
Um termo é um produto de monómios.
|
|
Este é um elemento fundamental deste programa tendo sido extensivamente testado.
|
|
|
|
O primeiro predicado valida números reais definidos.
|
|
|
|
O segundo predicado valida números indefinidos, usando a CLPR. A verificação de que
|
|
N não é um compound é necessária para assegurar que N não é uma potencia (estas
|
|
são tratadas pelo terceiro e quarto predicado).
|
|
|
|
O quinto predicado faz chamadas recursivas para validar uma multiplicação de
|
|
monómios.
|
|
|
|
### simplify_term
|
|
Começamos por convert um termo numa list de monómios.
|
|
|
|
Ordenamos os monómios do por ordem crescente (isto é, de menor grau para maior
|
|
grau).
|
|
|
|
Se existir um zero na lista (um dos monómios é zero), sabemos que a qualquer
|
|
coisa a multiplicar por zero (recorde-se a definição de termo) é zero. Assim
|
|
unificamos Term_Out com zero e terminamos a rotina com um green cut.
|
|
|
|
Se não,
|
|
se existir apenas um elemento na lista, esta já se encontra simplificada;
|
|
se não, aplicamos as seguintes regras de simplificação:
|
|
eliminar todos os monómios que têm a constante 1,
|
|
juntar monómios semelhantes (com a mesma variável)
|
|
|