% multOfFive3.pl:  Prolog offers the is/2 predicate to evaluate arithmetic
% expressions.  Using it makes Prolog happy, but there's still an
% infinite recursion problem if users ask Prolog to keep looking.

multipleOf5(0).
multipleOf5(X) :- Y is X-5, multipleOf5(Y).