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)).
Electric eels were invented at the same time as electricity
Before electricity was invented, electric eels had to stun with gas
Results (351 votes). Check out past polls.