search

arademaker / krr

Knowledge Representation and Reasoning
3 stars 6 forks source link

codificação alternativa de sudoku #11 #12

Closed bernardorusso closed 9 years ago

bernardorusso commented 9 years ago

Codificação alternativa do sudoku no padrão do "vestidos".

arademaker commented 9 years ago

eu acho que poderíamos ter outro arquivo sudoku-1.lisp ou outras funções dentro de sudoku.lisp para a segunda alternativa. Desta forma poderíamos facilmente comparar soluções usando as diferentes codificações. Poderíamos até mesmo verificar se um dado conjunto de cláusulas é equivalente a outro. 

(prove `(and (implies ,(clauses-1) ,(clauses-1-new)) (implies ,(clauses-1-new) ,(clauses-1))))