Class Mammalia Linnaeus, 1758 - mammals
   Order Lagomorpha Brandt, 1855 - lagomorphs
     Family Ochotonidae Thomas, 1897 - pikas
       Genus ‡Prolagus Pomel, 1853 - Sardinian pika
         1 †Prolagus oeningensis (König, 1825) see Prolagus aeningensis (König, 1825)
         2 ‡Prolagus sardus (Wagner, 1832) - Sardinian pika