f( X,0) :- X < 3.	   % Rule 1
f( X,2) :- 3 =< X, X < 6.  % Rule 2
f( X,4) :- 6 =< X.	   % Rule 3