Are statements such as A is A $+1$ correct in Prolog? If yes, explain what this statement does. If no$,$ explain why it is not correct. Given the following Prolog program: c$(5).$ c$(9).$ c$(10).$ d$(5).$ d$(9).$ a$($X$)$:$-$c$($X$),$ d$($X$).$ b$($X$)$:$-$c$($X$),!,$ d$($X$).$ c$(5).$ c$(9).$ c$(10).$ d$(5).$ d$(9).$ a$($X$)$ :$-$ c$($X$),$ d$($X$).$ b$($X$)$:$-$c$($X$),!,$ d$($X$).($a$)$ List all the answers that Prolog would respond with for the query $().$ Explain why those answers are generated. $($b$)$ List all the answers that Prolog would respond with for the query $().$ Explain why those answers are generated.