search

arademaker / krr

Knowledge Representation and Reasoning
3 stars 6 forks source link

preproc modificado #9

Closed rkatz36368 closed 9 years ago

rkatz36368 commented 9 years ago

feito com @vinicius-f

arademaker commented 9 years ago

corrigi preproc, removi wff? que não precisamos mais. Coloquei o error na própria função de preproc. Infelizmente preproc ainda não está muito eficiente, dado a recursão não ser de cauda.