Attached you can find the draft of the Knowledge Representation and Reasoning System (KReS)

Also: QA for version 0.5 (ch 1 - 8) and version 0.8 (ch 9-11).