Procolophon is a genus of lizard-like procolophonid parareptiles that first appeared in the Early Triassic of South Africa, Brazil, and Antarctica. It persisted through the Permian–Triassic extinction