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.

Procolophonidae is an extinct family of small, lizard-like parareptiles known from the Late Permian to Late Triassic that were distributed across Pangaea, having been reported from Europe, North America, China, South Africa, South America, Antarctica and Australia. The most primitive procolophonids were likely insectiovous or omnivorous, more derived members of the clade developed bicusped molars, and were likely herbivorous feeding on high fiber vegetation or durophagous omnivores. Many members of the group are noted for spines projecting from the quadratojugal bone of the skull, which likely served a defensive purpose as well as possibly also for display. At least some taxa were likely fossorial burrowers. While diverse during the Early and Middle Triassic, they had very low diversity during the Late Triassic, and were extinct by the beginning of the Jurassic.