Added some prolog exercises.