Exercício do Exame Final de 1997

Analise atentamente a seguinte gramática escrita na notação lógica DCG

         frase     -->  exp, [';'].
         exp       -->  equac.
         exp       -->  interroga.
         equac     -->  expressao, ['='], expressao.
         interroga -->  ['?'], ['='], expressao.
         expressao -->  operando, resto.
         operando  -->  [num(N)].
         operando  -->  ['('], expressao, [')'].
         resto     -->  operador, expressao.
         resto     -->  [].
         operador  -->  ['+']  |  ['-']  |  ['/']  |  ['*'].

Responda, então, às alíneas seguintes:

a)

Diga qual a resposta de um Interpretador de Prolog (IP), à questão

         frase( [num(5),'+',num(3),'=',num(8),';'], [] ).

b)

Dê 1 exemplo de uma frase válida da linguagem definida pela DCG acima.

c)

Modifique a gramática supra de modo a permitir que cada frase tenha mais do que uma equação ou interrogação (mais do que uma exp).