$($c$)$ Proof search: Explain the advantages of Prolog$$s proof search strategy, and

describe how it works by using the following example. Draw a proof tree for

beach$($X$)$ and indicate which paths yield solutions.

weekend$($sat$).$

weekend$($sun$).$

bankholiday$($mon$).$

warm$($sun$).$

sunny$($sun$).$

warm$($mon$).$

beach$($X$)$ :$-($weekend$($X$),$ sunny$($X$))$; bankholiday$($X$).$

beach$($X$)$ :$-$ warm$($X$),$ sunny$($X$).$

$[6$ marks$]$