search

arademaker / krr

Knowledge Representation and Reasoning
3 stars 6 forks source link

pós-processamento da saída do problema dos vestidos #3

Closed arademaker closed 9 years ago

arademaker commented 9 years ago

Da mesma forma como temos funções auxiliares para codificar o problema, seria interessante termos uma função auxiliar para interpretar a saída de prove e gerar a resposta do problema dos vestidos.

Este caso particular nos ajudará a generalizar mais tarde pós-processamento.

arademaker commented 9 years ago

@arademaker resolveu com função present local à função test-vestidos.