search

arademaker / krr

Knowledge Representation and Reasoning
3 stars 6 forks source link

introduzir equivalência com açúcar sintático #17

Closed arademaker closed 9 years ago

arademaker commented 9 years ago

podemos introduzir e pré-processar (equiv A B ...). Ou de forma mais simplificada, apenas o equiv binário.

rkatz36368 commented 9 years ago

fiz um pull request referente a esse issue

arademaker commented 9 years ago

Feito, já aceitei o pull request. Commit 853f86b resolve problema e fiz alguns testes:

tableaux> (prove '(equiv (or A B) (or B A)))
nil
tableaux> (prove '(equiv (not (or A B)) (and (not B) (not A))))
nil