Los procolofonomorfos (Procolophonomorpha) son un orden o clado de parareptiles primitivos que aparecieron durante el Pérmico Medio.
Constituye una colección diversa que incluye a varias formas similares a lagartos, así como formas más diversas como los pareiasaurios.
El subclado más importante, Procolophonia, ha sido tradicionalmente considerado como un ancestro de las tortugas, razón por la cual anteriormente se las incluía en este grupo.
Lee 1995, 1996, 1997 ha afirmado que las tortugas evolucionaron de los pareiasaurios, pero esta idea no ha sido sostenida unánimemente.
[1] Sin embargo la propuesta de Lee ha ganado debilidad o ininterés en los últimos tiempos sobre todo por los estudios moleculares que anidan a las tortugas como cercanos a los arcosaurios,[2] así como el descubrimiento reciente de Pappochelys, Eorhynchochelys y un estudio en 2015 que descubrió que Eunotosaurus fue clasificado incorrectamente como parareptil,[3] confirman que los antepasados de las tortugas son diápsidos con gastralia que tenían costillas anchas y planas, formando placas similares a los caparazones de las tortugas primitivas y que los escudos de los pareiasaurios no son homólogos con los caparazones de las tortugas.