arademaker / krr

Knowledge Representation and Reasoning
3 stars 6 forks source link

Adicionando a função "sentence". #43

Closed paulodt closed 9 years ago

paulodt commented 9 years ago

A função sentence recebe um tabuleiro, na forma de uma lista. Os elementos nulos do tabuleiro são representados pelo zero e os não-nulos pelo seu valor. Retorna a sentença a ser provada.