Procolophoninae é uma subfamília extinta de Parareptilia Procolophonidae do final do Triássico Inferior ao início do Triássico Médio (estágios Olenequiano e Anisiano) da África, Antártida, Ásia, Europa e América do Sul. Atualmente, o Procolophoninae mais antigo conhecido é Procolophon, do estágio Olenequiano mais antigo.
Filogenia Procolophoninae foi nomeado em 1890 por Richard Lydekker. É um táxon baseado em linhagem-tronco, definido filogeneticamente pela primeira vez por Modesto et al., (2002) como "todos os táxons mais relacionados a Procolophon trigoniceps Owen, 1876 do que a Leptopleuron lacertinum Owen, 1851". O cladograma abaixo segundo Ruta et al., 2011.
Abaixo estão 2 cladogramas que seguem as análises filogenéticas de Butler et al., (2023):
Referências