/* this is a Prolog */

% a single-line comment

% second example Prolog knowledge base:
% ...now we have a rule;
%
% last modified: 03-2-11

rainy(arcata).
rainy(rochester).
rainy(honolulu).
cold(rochester).
cold(tucson).
cool(arcata).

snowy(X) :- rainy(X), cold(X).