true.

?- ['rainy.pl'].
% rainy.pl compiled 0.00 sec, 880 bytes
true.

?- rainy(X).
X = arcata ;;
X = rochester.

?- rainy(Place).
Place = arcata ;;
Place = rochester.

?- rainy(arcata).
true.

?- rainy(rochester).
true.

?- rainy(death_valley).
false.

?- halt.