Intro

De Darwin Award (vertaald: de “Darwinonderscheiding”) is een cynische “eer” die wordt gegeven aan mensen die “bijdragen” aan de menselijke evolutie door zichzelf op een spectaculair domme manier te laten verongelukken en dus de mogelijkheid om zichzelf voort te planten verliezen. De prijs is genoemd naar Charles Darwin, de bedenker van de evolutietheorie. Er is geen geldprijs aan verbonden, alleen postume erkenning of eervolle vermelding.

De gedachte erachter is dat de persoon zo dom is dat hij een levend bewijs is van evolutie in uitvoering. Zijn of haar (ondermaatse) genen worden door de persoon zelf dus uit de genenpoel verwijderd.

Er zijn in principe vijf voorwaarden waaraan voldaan moet worden om in aanmerking te komen voor een Darwin Award:

De genomineerde mag zichzelf niet meer kunnen voortplanten.
De genomineerde daad moet een geval van een verschrikkelijk slecht inschattingsvermogen zijn.
Het moet zelf toegebracht zijn.
De genomineerde moet een volwassene zijn zonder psychische handicap of achterstand.
De gebeurtenis moet te verifiëren zijn.

Bron: Wikipedia

Oefening

Bekijk volgend prolog programma dat kan gebruikt worden tijdens de selectie:

onvruchtbaar_door(rouen,beklimmen_ethernetkabel).
slecht_inschattingsvermogen(rouen,beklimmen_ethernetkabel).
zichzelf_toegebracht(beklimmen_ethernetkabel).
volwassen(rouen).
verifieerbaar(beklimmen_ethernetkabel).

dom(X) :- slecht_inschattingsvermogen(X,_).

mens(X) :- volwassen(X).
mens(X) :- kind(X).

genomineerde(Naam) :-
  onvruchtbaar_door(Naam, Wat),
  slecht_inschattingsvermogen(Naam,Wat),
  zichzelf_toegebracht(Wat),
  volwassen(Naam),
  verifieerbaar(Wat).

Schrijf volgende feiten over de voorgaande code:

facts/1 : die het aantal feiten aangeeft
predicates/1 : die het aantal predicaten aangeeft (met ariteit > 0)
atoms/1 : die het aantal atomen aangeeft
rules/1 : die het aantal regels aangeeft
clauses/1 : die het aantal clausules aangeeft