Adding new classification rules

Now have a go at extending the classifier. Start by translating the following sentences into Prolog. If you need to talk about concepts, such as flying ability, that the example already uses, then use the same names. Otherwise, make up sensible names of your own, and ensure they're consistent throughout. Note: when translating some sentences, you may require more than one rule.

To illustrate something important about logic, I have chosen two sentences that, strictly speaking, are of no help as they stand. Which are they, and why?

• A horned ungulate is an antelope.

• Bats are the only flying mammal.

• Molluscs have shells.

• Something with gills, fins, or scales is a fish.

• Rodents have two large front teeth and side-pointing eyes.

Notice incidentally the different ways English has of expressing how the properties of an object imply its classification.