The notebook for logic.py has many things left to cover. I will start with KB section.
Please see PR #427 . I hope the work doesn't clash.
I'll wait until your PR is merged. Resolving conflicts is a tedious task.
#575 should add most of the required content.
The notebook for logic.py has many things left to cover. I will start with KB section.