##function (num) num f.
:- f(1) != 0.
num(0).
num(1).