(15 points) Consider the following Prolog predicates: goodweather (x):- sunny (x) poor Weather (x):- rainy(x) or snowy(x) interestingWeather (x):- (goodWeather (x) or poor Weather (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., July) 4th and 5th of Can we prove the following fact? interestingWeather (today) Whether we can or we can not show the derivation and the trace (call, exist, etc..)