Problema $\mathbf{n^{\footnotesize {o}} 15}$

Imagine a seguinte situação: existem dois blocos, A e B, e uma mesa. Os blocos encontram-se em cima da mesa, com B sobre A.

a)

Exprima, em notação lógica (do Prolog) as seguintes regras de conhecimento:

1.

Se um objecto está sobre outro então está acima dele.

2.

O predicado acima de é transitivo.

b)

Usando uma árvore de prova, e dada a situação descrita, prove que B está acima da mesa.