Intro

The Darwin Awards are a tongue-in-cheek honour, originating in Usenet newsgroup discussions around 1985. They recognize individuals who have supposedly contributed to human evolution by selecting themselves out of the gene pool via death or sterilization by their own actions.

There are 5 rules to be selected:

1. Inability to reproduce: Nominee must be dead or rendered sterile
2. Excellence: Astoundingly stupid judgment
3. Self-selection: Cause of one’s own demise
4. Maturity: Capable of sound judgment
5. Veracity: Event must be verified

Source: Wikipedia

Exercise

Take a look at the following program that can be used during the selection.

sterile_because(rouen,climbing_ethernet_cable).
excellence(rouen,climbing_ethernet_cable).
self_selection(climbing_ethernet_cable).
adult(rouen).
veracity(climbing_ethernet_cable).

stupid(X) :- excellence(X,_).

human(X) :- adult(X).
human(X) :- child(X).

nominee(Name) :-
  sterile_because(Name, What),
  excellence(Name,What),
  self_selection(What),
  adult(Name),
  veracity(What).

Write following facts:

• atoms/1 : that gives number of atoms in the code above
• predicates/1 : that gives number of predicates in the code above (with arrity > 0)
• facts/1 : that gives number of facts in the code above
• rules/1 : that gives number of rules in the code above
• clauses/1 : that gives number of clauses in the code above