arademaker / krr

Knowledge Representation and Reasoning
3 stars 6 forks source link

correçao da funçao length-form #47

Closed hcrespo closed 9 years ago

hcrespo commented 9 years ago

pequena modificaçao para retornar 0 quando for passado um atom para a funçao

arademaker commented 9 years ago

aceitei mas ainda não foi testada e nenhum conjunto de teste foi fornecido.