%
% The dinosaur taxonomy.
%
taxonomy(dinosauromorpha, saurischia).
taxonomy(dinosauromorpha, ornithischia).

taxonomy(saurischia, theropoda).
taxonomy(saurischia, sauropodomorpha).

taxonomy(ornithischia, ornithopoda).
taxonomy(ornithischia, ceratopia).
taxonomy(ornithischia, pachycephalosauria).
taxonomy(ornithischia, stegosauria).
taxonomy(ornithischia, ankylosauria).
taxonomy(ornithischia, scelidosaurus).

taxonomy(theropoda, coelurosauria).
taxonomy(theropoda, ornithomimosauria).
taxonomy(theropoda, oviraptosauria).
taxonomy(theropoda, 'miscellaneous theropods').
taxonomy(theropoda, saurornithoididae).
taxonomy(theropoda, dromaeosauridae).
taxonomy(theropoda, carnosauria).
taxonomy(theropoda, tyrannosauridae).

taxonomy(sauropodomorpha, prosauropoda).
taxonomy(sauropodomorpha, diplodocidae).
taxonomy(sauropodomorpha, camarasauridae).
taxonomy(sauropodomorpha, brachiosauridae).
taxonomy(sauropodomorpha, 'miscellaneous sauropods').

taxonomy(ornithopoda, fabrosauridae).
taxonomy(ornithopoda, heterodontosauridae).
taxonomy(ornithopoda, hypsilophodontidae).
taxonomy(ornithopoda, iguanodontidae).
taxonomy(ornithopoda, hadrosauridae).

taxonomy(ceratopia, psittacosauria).
taxonomy(ceratopia, protoceratopidae).
taxonomy(ceratopia, ceratopidae).

taxonomy(pachycephalosauria, pachycephalosaurs).

taxonomy(stegosauria, stegosauridae).

taxonomy(ankylosauria, nodosauridae).
taxonomy(ankylosauria, ankylosauridae).

taxonomy(hadrosauridae, hadrosaurines).
taxonomy(hadrosauridae, saurolophines).

taxonomy(ceratopidae, shortfrilled).
taxonomy(ceratopidae, longfrilled).

taxonomy(coelurosauria, coelophysis).
taxonomy(coelurosauria, compsognathus).
taxonomy(coelurosauria, ornitholestes).

taxonomy(ornithomimosauria, struthiomimus).
taxonomy(ornithomimosauria, dromiceiomimus).

taxonomy(oviraptosauria, oviraptor).

taxonomy('miscellaneous theropods', avimimus).
taxonomy('miscellaneous theropods', segisaurus).

taxonomy(saurornithoididae, saurornithoides).
taxonomy(saurornithoididae, stenonychosaurus).

taxonomy(dromaeosauridae, deinonychus).
taxonomy(dromaeosauridae, velociraptor).
taxonomy(dromaeosauridae, dromaeosaurus).

taxonomy(carnosauria, allosaurus).
taxonomy(carnosauria, ceratosaurus).
taxonomy(carnosauria, dilophosaurus).

taxonomy(tyrannosauridae, tyrannosaurus).
taxonomy(tyrannosauridae, daspletosaurus).
taxonomy(tyrannosauridae, albertosaurus).

taxonomy(prosauropoda, anchisaurus).
taxonomy(prosauropoda, plateosaurus).

taxonomy(diplodocidae, diplodocus).
taxonomy(diplodocidae, apatosaurus).

taxonomy(camarasauridae, camarasaurus).

taxonomy(brachiosauridae, brachiosaurus).

taxonomy('miscellaneous sauropods', vulcanodon).
taxonomy('miscellaneous sauropods', saltasaurus).
taxonomy('miscellaneous sauropods', opisthocoelicaudia).

taxonomy(fabrosauridae, lesothosaurus).
taxonomy(fabrosauridae, scutellosaurus).

taxonomy(heterodontosauridae, heterodontosaurus).

taxonomy(hypsilophodontidae, dryosaurus).
taxonomy(hypsilophodontidae, hypsilophodon).
taxonomy(hypsilophodontidae, tenontosaurus).

taxonomy(iguanodontidae, iguanodon).
taxonomy(iguanodontidae, camptosaurus).
taxonomy(iguanodontidae, muttaburrasaurus).
taxonomy(iguanodontidae, ouranosaurus).

taxonomy(hadrosaurines, bactrosaurus).
taxonomy(hadrosaurines, anatosaurus).
taxonomy(hadrosaurines, edmontosaurus).
taxonomy(hadrosaurines, kritosaurus).

taxonomy(saurolophines, parasaurolophus).
taxonomy(saurolophines, tsintaosaurus).
taxonomy(saurolophines, saurolophus).
taxonomy(saurolophines, corythosaurus).

taxonomy(psittacosauria, psittacosaurus).

taxonomy(protoceratopidae, protoceratops).

taxonomy(shortfrilled, triceratops).
taxonomy(shortfrilled, centrosaurus).
taxonomy(shortfrilled, styracosaurus).

taxonomy(longfrilled, chasmosaurus).
taxonomy(longfrilled, torosaurus).
taxonomy(longfrilled, anchiceratops).
taxonomy(longfrilled, pentaceratops).

taxonomy(pachycephalosaurs, stegoceras).
taxonomy(pachycephalosaurs, pachycephalosaurus).
taxonomy(pachycephalosaurs, homalocephale).

taxonomy(stegosauridae, stegosaurus).
taxonomy(stegosauridae, kentrosaurus).
taxonomy(stegosauridae, tuojiangosaurus).

taxonomy(scelidosaurus, scelidosaurus).

taxonomy(nodosauridae, hylaeosaurus).
taxonomy(nodosauridae, polacanthus).
taxonomy(nodosauridae, nodosaurus).

taxonomy(ankylosauridae, euoplocephalus).
taxonomy(ankylosauridae, ankylosaurus).
taxonomy(ankylosauridae, pinacosaurus).

%
% The dinosaur ancestry.
%

%
% The dinosaur characteristics.
%
characteristics(
  coelurosauria,
  {'small vertebrates', insects},
  {none},
  {small, spiky, serrated},
  bipedal
).

characteristics(
  ornithomimosauria,
  {plants, fruits, 'small vertebrates', insects},
  {none},
  {none},
  bipedal
).

characteristics(
  oviraptosauria,
  {eggs},
  {none},
  {none},
  bipedal
).

characteristics(
  'miscellaneous theropods',
  {unknown},
  {none},
  {small, spiky},
  bipedal
).

characteristics(
  saurornithoididae,
  {'small vertebrates'},
  {none},
  {small, sharp, serrated},
  bipedal
).

characteristics(
  dromaeosauridae,
  {'large vertebrates'},
  {'large foot claws'},
  {large, curved, sharp},
  bipedal
).

characteristics(
  carnosauria,
  {'large vertebrates'},
  {claws},
  {long, curved, serrated},
  bipedal
).

characteristics(
  tyrannosauridae,
  {'large vertebrates'},
  {claws},
  {large, curved, sharp},
  bipedal
).

characteristics(
  prosauropoda,
  {plants, leaves},
  {none},
  {numerous, slender, small},
  bipedal
).

characteristics(
  diplodocidae,
  {plants},
  {size},
  {small, feeble, peg},
  quadrupedal
).

characteristics(
  camarasauridae,
  {plants},
  {size},
  {chisel},
  quadrupedal
).

characteristics(
  brachiosauridae,
  {plants},
  {size},
  {large, chisel},
  quadrupedal
).

characteristics(
  'miscellaneous sauropods',
  {plants},
  {size, 'small bony plates'},
  {unknown},
  quadrupedal
).

characteristics(
  fabrosauridae,
  {plants, leaves},
  {'small bony plates'},
  {simple, leaflike},
  bipedal
).

characteristics(
  heterodontosauridae,
  {plants, leaves},
  {none},
  {incisors, tusks, cheek},
  bipedal
).

characteristics(
  hypsilophodontidae,
  {plants, leaves},
  {none},
  {premaxillary, cheek},
  bipedal
).

characteristics(
  iguanodontidae,
  {ferns, conifers},
  {'thumb spike'},
  {beak, grinding},
  bipedal
).

characteristics(
  hadrosauridae,
  {plants, twigs},
  {none},
  {hundreds, batteries, grinding, rasplike},
  bipedal
).

characteristics(
  psittacosauria,
  {plants, flowers},
  {none},
  {beak, shearlike, batteries},
  bipedal
).

characteristics(
  protoceratopidae,
  {plants, flowers},
  {'bony frill'},
  {beak, shearlike, batteries},
  quadrupedal
).

characteristics(
  ceratopidae,
  {plants, flowers},
  {'bony frill', horns},
  {beak, shearlike, batteries},
  quadrupedal
).

characteristics(
  pachycephalosaurs,
  {plants},
  {'thick skull'},
  {compressed, curved, serrated},
  bipedal
).

characteristics(
  stegosauridae,
  {ferns, cycads},
  {'large bony plates', 'spiked tail'},
  {leaflike, serrated},
  quadrupedal
).

characteristics(
  scelidosaurus,
  {plants},
  {'small bony plates'},
  {simple, leaflike},
  quadrupedal
).

characteristics(
  nodosauridae,
  {plants},
  {nodules, 'dorsal spines'},
  {beak, simple},
  quadrupedal
).

characteristics(
  ankylosauridae,
  {plants},
  {'bony armor plating', 'club tail'},
  {feeble},
  quadrupedal
).

%
% The dinosaurs themselves.
%
dinosaur(struthiomimus, 'Cretaceous', 3.5).
dinosaur(coelophysis, 'Triassic', 3.0).
dinosaur(compsognathus, 'Jurassic', 0.7).
dinosaur(ornitholestes, 'Jurassic', 2.0).
dinosaur(dromiceiomimus, 'Cretaceous', 3.5).
dinosaur(oviraptor, 'Cretaceous', 1.75).
dinosaur(avimimus, 'Cretaceous', 1.5).
dinosaur(segisaurus, 'Jurassic', 1.0).
dinosaur(saurornithoides, 'Cretaceous', 2.0).
dinosaur(stenonychosaurus, 'Cretaceous', 2.0).
dinosaur(deinonychus, 'Cretaceous', 3.15).
dinosaur(velociraptor, 'Cretaceous', 1.8).
dinosaur(dromaeosaurus, 'Cretaceous', 1.8).
dinosaur(allosaurus, 'Jurassic', 12.0).
dinosaur(ceratosaurus, 'Jurassic', 6.0).
dinosaur(dilophosaurus, 'Jurassic', 6.0).
dinosaur(tyrannosaurus, 'Cretaceous', 14.0).
dinosaur(daspletosaurus, 'Cretaceous', 9.0).
dinosaur(albertosaurus, 'Cretaceous', 9.0).
dinosaur(anchisaurus, 'Jurassic', 2.5).
dinosaur(plateosaurus, 'Triassic', 7.0).
dinosaur(diplodocus, 'Jurassic', 27.0).
dinosaur(apatosaurus, 'Jurassic', 21.0).
dinosaur(camarasaurus, 'Jurassic', 18.0).
dinosaur(brachiosaurus, 'Jurassic', 22.5).
dinosaur(vulcanodon, 'Jurassic', 6.5).
dinosaur(saltasaurus, 'Cretaceous', 12.0).
dinosaur(opisthocoelicaudia, 'Cretaceous', 12.0).
dinosaur(lesothosaurus, 'Jurassic', 0.9).
dinosaur(scutellosaurus, 'Jurassic', 0.134).
dinosaur(heterodontosaurus, 'Jurassic', 0.120).
dinosaur(dryosaurus, 'Jurassic', 3.5).
dinosaur(hypsilophodon, 'Cretaceous', 2.0).
dinosaur(tenontosaurus, 'Cretaceous', 5.5).
dinosaur(iguanodon, 'Cretaceous', 10.0).
dinosaur(camptosaurus, 'Jurassic', 6.0).
dinosaur(muttaburrasaurus, 'Cretaceous', 7.0).
dinosaur(ouranosaurus, 'Cretaceous', 7.0).
dinosaur(bactrosaurus, 'Cretaceous', 5.0).
dinosaur(anatosaurus, 'Cretaceous', 11.5).
dinosaur(edmontosaurus, 'Cretaceous', 11.5).
dinosaur(kritosaurus, 'Cretaceous', 9.0).
dinosaur(parasaurolophus, 'Cretaceous', 10.0).
dinosaur(tsintaosaurus, 'Cretaceous', 7.0).
dinosaur(saurolophus, 'Cretaceous', 10.5).
dinosaur(corythosaurus, 'Cretaceous', 10.0).
dinosaur(psittacosaurus, 'Cretaceous', 2.0).
dinosaur(protoceratops, 'Cretaceous', 1.8).
dinosaur(triceratops, 'Cretaceous', 9.0).
dinosaur(centrosaurus, 'Cretaceous', 6.0).
dinosaur(styracosaurus, 'Cretaceous', 5.5).
dinosaur(chasmosaurus, 'Cretaceous', 5.2).
dinosaur(torosaurus, 'Cretaceous', 7.6).
dinosaur(anchiceratops, 'Cretaceous', 6.0).
dinosaur(pentaceratops, 'Cretaceous', 7.0).
dinosaur(stegoceras, 'Cretaceous', 2.0).
dinosaur(pachycephalosaurus, 'Cretaceous', 8.0).
dinosaur(homalocephale, 'Cretaceous', 3.0).
dinosaur(stegosaurus, 'Jurassic', 6.75).
dinosaur(kentrosaurus, 'Jurassic', 2.5).
dinosaur(tuojiangosaurus, 'Jurassic', 6.0).
dinosaur(scelidosaurus, 'Jurassic', 4.0).
dinosaur(hylaeosaurus, 'Cretaceous', 4.0).
dinosaur(polacanthus, 'Cretaceous', 4.0).
dinosaur(nodosaurus, 'Cretaceous', 5.5).
dinosaur(euoplocephalus, 'Cretaceous', 6.0).
dinosaur(ankylosaurus, 'Cretaceous', 10.0).
dinosaur(pinacosaurus, 'Cretaceous', 5.0).


%
% The dinosaur ages.
%
ageNames('Triassic', 'Jurassic').
ageNames('Jurassic', 'Cretaceous').

%
% The dinosaur diet.
%
food(plants, plant).
food(leaves, plant).
food(twigs, plant).
food(ferns, plant).
food(conifers, plant).
food(cycads, plant).
food(fruits, fruit).
food('small vertebrates', meat).
food('large vertebrates', meat).
food(insects, meat).
food(eggs, meat).