Got up to the first prolog question