% builtin(T).
% Succeeds if T is a built-in.

builtin(true).
builtin(false).
builtin(nl).
builtin(print(X)).
builtin(X = Y).
builtin(X != Y).
builtin(X <= Y).
builtin(X > Y).
builtin(X >= Y).
builtin(X < Y).