search

arademaker / krr

Knowledge Representation and Reasoning
3 stars 6 forks source link

generalizar and e or sem precisar do and* e or* #2

Closed arademaker closed 9 years ago

arademaker commented 9 years ago

A solução de and* e or* facilita codificação de problemas, mas não precisamos de operadores diferentes. Podemos simplesmente chegar no preproc se and e or tem mais de dois argumentos e, caso positivo, transformar na forma alinhada.

Isto afetará também a função que testa de uma fórmula é bem formada. Vide #1, neste caso a verificação pode ser feita antes ou depois da transformação na forma alinhada.

arademaker commented 9 years ago

@vinicius-f submeteu alterações da preproc.

arademaker commented 9 years ago

solução com bug.

arademaker commented 9 years ago

resolvi o problema na função preproc.