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., 4thand 5thof July)

Can weprove the following fact?interestingWeather(today)

Whether we can or we can not, show the derivation and the trace (call, exist, etc..)