1invalid_value(X) :- not valid_value(X). 
    2
    3valid_value(V) :-
    4    coord(X), coord(Y),
    5    is(V, X+Y).
    6
    7coord(1).
    8coord(2).
    9coord(3). 
   10
   11?- invalid_value(X).