true.

?- like_pacific_nw(arcata).
true.

?- like_pacific_nw(Place).
Place = arcata ;;
Place = portland ;;
Place = seattle ;;
false.

?- cool(Where).
Where = arcata ;;
Where = portland ;;
Where = seattle ;;
Where = san_francisco.

?- rainy(Whr).
Whr = arcata ;;
Whr = portland ;;
Whr = seattle ;;
Whr = houston.

?- rainy(W).
W = arcata ;;
W = portland ;;
W = seattle ;;
W = houston.

?- halt.