Exercício do Exame de Recorrência de 1998: Problema

Analise atentamente a seguinte Base de Conhecimento que o Gabinete de Assuntos Económicos da CE criou para determinar automaticamente se um País está apto a aderir ao projecto de introdução do EURO

 %percentagem da Divida Publica em relacao ao PIB
percDivPub(belgica,135.0).
       percDivPub(portugal,69.6).
       ............

 %taxa de Inflaccao
taxaInfl(belgica,1.4).
       taxaInfl(portugal,3.8).
       ............

       menorTaxaInfl(finlandia,1.0).

 %percentagem do Deficite Orcamental em relacao ao PIB
percDefOrc(belgica,5.1).
       percDefOrc(portugal,2.8).
       ............

 %criterios de aptidao
criterio1(P) :- percDivPub(P, D), D=< 75, !,
                       write(P), write('Passou criterio1'),nl.
       criterio1(P) :- write(P), write('NAO Passou criterio1'),nl.
       criterio2(P) :- taxaInfl(P, T), menorTaxaInfl(_,M), T=< 2.5 * M.
       criterio3(P) :- percDefOrc(P, D), D=< 3.

 %verificacao da aptidao
apto(Pais) :- criterio1(Pais), criterio2(Pais), criterio3(Pais).

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

a)

Diga por palavras suas e com base na BC acima, quais são as condições em que um País pode aderir ao projecto.

b)

Diga que alterações deveria fazer às condições que indicou na alínea anterior, se o predicado apto fosse definido da seguinte maneira:

 %verificacao da aptidao
apto(Pais) :- verificaDivida(Pais), verificaInflaccao(Pais).
       verificaDivida(Pais) :- criterio1(Pais), criterio3(Pais).
       verificaInflaccao(Pais) :- criterio2(Pais).

c)

Essa BC permite-lhe calcular automaticamente todos os Países aptos a aderirem, ou só serve para saber se um País está apto? Em caso afirmativo, diga como interrogava a BC para obter essa resposta.

d)

Para que será que criterio1 está definido de uma forma diferente de criterio2 e criterio3? Era mesmo necessário, ou é um complemento?

e)

Explique as razões lógicas e operacionais para se usar o predicado cut, '!' na primeira cláusula relativa a criterio1.
Que aconteceria se se retirasse o cut e o segundo critério falhasse (obviamente, depois do primeiro ter sido testado com sucesso)?

--Fim da Parte I--