Which tool is used for prying?

Christopher Richardson, yes, I have had to dig holes in rocky ground. very useful.

I use these tools all the time at work, if you can't put a shovel through it a pick or mattock normally does the job