Prolog: new solutions of exercises 1.3 - 1.5