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)).
Non-existent; I don't have TV
Non-existent; my TV doesn't have/need a remote
Under my control; I watch alone
Under the control of whoever shouts loudest
Under the control of whoever gets it first
One of many, and the TV has a mind of its own
Results (127 votes),