verificação de formulas bem formadas

arademaker / krr

Knowledge Representation and Reasoning

3 stars 6 forks source link

Closed arademaker closed 9 years ago

arademaker commented 9 years ago

cobrir casos de and e or com mais de um dois argumentos.

arademaker commented 9 years ago

sugestão que `wff?seja combinada compreproc``.

arademaker commented 9 years ago

problema resolvido na função preproc. Resta agora #18