Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
my_succ(X, Y) :- when((nonvar(X);nonvar(Y)), succ(X, Y)).