Added [store|retrieve]_context/2 predicates and Prolog KR-2014 example.
Added Prolog ECAI-2014 example.