2. (15 points) Consider the following Prolog predicates: goodWeather (x):- sunny (x) poorweather (x):- rainy(x) or snowy (x) interestingWeather (x) :- (goodWeather(x) or poorweather (x)) and rainy (x-1) And the following facts: sunny (5) rainy (5) rainy(4) (You can think of 5 and 4 as dates, e.g., 4th and 5th of July) Can we prove the following fact? interestingWeather (today) Whether we can or we can not, show the derivation and the trace (call, exist, etc..)