valid(X) :-
    X#<>1,
    not(true).

?- valid(X).