Go to most recent revision | Details | Last modification | View Log | RSS feed
odd(X) :- 1 is X mod 2.
even(X) :- 0 is X mod 2.
any_odd([H|_]) :- odd(H) , !.
any_odd([_|T]) :- any_odd(T).