Is Texas horned lizard a reptile?

According to Texas Parks and Wildlife, "Texas horned lizards range from the south-central United States to northern Mexico, throughout much of Texas, Oklahoma, Kansas and New Mexico." I live in the lower Rio Grande Valley of Texas, and I've seen several horned lizards here.