Consider the following Prolog predicates:goodWeather(x):-sunny(x)poorWeather(x):-rainy(x)or snowy(x)interestingWeather(x):-(goodWeather(x)orpoorWeather(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..)