Procolophon is a genus of lizard-like procolophonid parareptiles that first appeared in the Early Triassic (Induan) of South Africa, Brazil, and Antarctica. It persisted through the Permian–Triassic extinction event, but went extinct in the beginning of the Early Middle Triassic. The type species is P. trigoniceps.

Parareptilia ("near-reptiles") is an extinct subclass or clade of basal sauropsids/reptiles, typically considered the sister taxon to Eureptilia. Parareptiles first arose near the end of the Carboniferous period and achieved their highest diversity during the Permian period. Several ecological innovations were first accomplished by parareptiles among reptiles. These include the first reptiles to return to marine ecosystems (mesosaurs), the first bipedal reptiles, the first reptiles with advanced hearing systems, and the first large herbivorous reptiles. The only parareptiles to survive into the Triassic period were the procolophonoids, a group of small generalists, omnivores, and herbivores. The largest family of procolophonoids, the procolophonids, rediversified in the Triassic, but subsequently declined and became extinct by the end of the period.