What is the art or operation of carving figures or inscriptions on rock or stone called?

petroglyphy — The art or operation of carving figures or inscriptions on rock or stone. (Webster's 1913.)

Sources