Rock cut architecture
Rock-cut architecture is the practice of creating buildings by carving natural rock.