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