f( X,0) :- X < 3, !.  % if X < 3 then Y = 0
f( X,2) :- X < 6, !.  % otherwise, if X < 6 then Y = 2 
f( _,4).	      % otherwise Y = 4