Short revision exercises for Imperial's prolog programming exam.