* Added pl_resolution to notebook

* Added pl_resolution and FolKB to notebook

* Update logic.py

* Removes smalltest_kb

* Moved wumpus_kb to logic.py

* Added PropKB and tt_entails to notebook

* Added test for fol_fc_ask()

* Optimization of fol_fc_ask()

* Faster fol_fc_ask()

* Removed subst for rules in KB

* Fix flake8 warnings

* Remove unnecessary #noqa

* Fix doctest

* Add flake8 config file

* Fix flake8 for test files

* Replaced mean with standard lib function introduced in 3.4

* #TODO Replaced every with all

* Proper names for variables introduced in 2to3 conversion.

Following a suggestion by C.G.Vedant, changed |implies| to |’==>’|

* removes obsolete Fig dictionary from utils.py

* modified rl notebook according to the new Figure conventions

* removes 'import Fig' and changed the names of Figures

* fixes a small error (by me) in executing the cells in rl notebook

* Made Log Usage Consistent in text.py

* Added Explicit Imports from utils

* temporary fix for eliminate_implications

* Change from << to <==

* Fixed implies operator in SAT_plan

* changed Expr name to counter

* Fixed a typo in logic.py

* Added translate_to_SAT()

* extract solution from model

* added test cases

* removed debug code

Add InfixOps, refactor expo and Expr