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..)