PropKB notebook (#559)
* Removes smalltest_kb * Moved wumpus_kb to logic.py * Added PropKB and tt_entails to notebook
Veuillez vous inscrire ou vous connecter pour commenter
* Removes smalltest_kb * Moved wumpus_kb to logic.py * Added PropKB and tt_entails to notebook