% multOfFive1.pl:  This is a direct implementation of the multiple of 5
% example we used in class to help explain the way Prolog reasons.
% If you try it, you'll see that it doesn't work.  Why?  Prolog has
% certain expectations for rule construction, and this doesn't meet
% those expectations, even though we were perfectly happy with this
% form in our FOPC version.  Specifically, we can't place an expression
% such as "X+5" on the left-hand size.

multipleOf5(0).
multipleOf5(X+5) :- multipleOf5(X).