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