SWI Prolog by examples, accompanied with notes