What is the difference between hammer drill and rotary hammer?

i am trying to drill into a extremely tough granit rock iv been using a hammer drill wit masonry bits and its just making dents and taking foreever... If i try using a rotary hammer will it make a big diffrence? or do i gotta go with a jack hammer?
9 answers 9