Help for this page
inc(X, succ(X)). % you don't have to understand this.
inc(X, Y), % Implicit RELATION.
inc(X, Y), % Same implicit relation.
Y = succ(zero), % Implicitly match X against zero.
something(X, Y). % same as something(zero, succ(zero)).
There is no Extraterrestrial life
There aren't any suitably capable Extraterrestrials
Interstellar travel is too difficult
We're too uncool / not worth the trouble
What do you mean they haven't visited?
Results (518 votes). Check out past polls.