{

Problema ${n^{{o}} 15}$ } Imagine a seguinte situa{c}{a}o: existem dois blocos, A e B, e uma mesa. Os blocos encontram-se em cima da mesa, com B sobre A. {description} [a)] Exprima, em notação lógica (do Prolog) as seguintes regras de conhecimento: {enumerate} Se um objecto est{a} sobre outro ent{a}o est{a} acima dele. O predicado {acima de} {e} transitivo. enumerate} [b)] Usando uma árvore de prova, e dada a situa{c}{a}o descrita, prove que B est{a} acima da mesa. description} %%%%%%%%%%%%%%%%%%%%