* Added pl-fc-entails section

* Updated README.md

* Updated filename

* Added tests for pl-fc-entails

* Review fixes

* Added dpll section

* Updated README.md

* Added WalkSAT section

* Updated README.md

* added tt-entails explanation

* Updated README.md

* Added pl_resolution to notebook

* Added pl_resolution and FolKB to notebook

* Update logic.py

* Update logic.ipynb

* canvas -> notebook in games

* Rename canvas.py to notebook.py

* Removes smalltest_kb

* Moved wumpus_kb to logic.py

* Added PropKB and tt_entails to notebook

and update intro.ipynb

- Fix relative imports in base of is a package or not
- Fix not working notebooks
- Add notebooks to packages sources