Trabalho de Prolog

ANHANGUERA ENSINO SUPERIOR - FAV

Curso Ciências da Computação

Inteligência Artificial – Prof. Maurício

Lista de Exercícios de Prolog – 2º Bimestre/2015

Links para download das ferramentas:

SWI-PROLOG http://gollem.science.uva.nl/cgi-bin/nph-download/SWI-Prolog/w32pl5654.exe

SWI-PROLOG Editor em Inglês http://lernen.bildung.hessen.de/informatik/swiprolog/setup.zip

Arquivo para configuração de linguagem em Português do SWI-PROLOG Editor http://lernen.bildung.hessen.de/informatik/swiprolog/languages/portuguese.ini

1. Considere as seguintes informações de uma companhia aérea

origin(ba137, chicago).         destination(ba137, london).

origin(twa194, dallas).         destination(twa194, paris).

origin(pa100, london).         destination(pa100, rome).

origin(az129, london).         destination(az129, pisa).

arrives(ba137, 1250).         departs(ba137, 1040).

arrives(twa194, 2200).         departs(twa194, 1900).

arrives(az129, 2200).         departs(pa100, 1330).

Quais as resposta para as seguintes interrogaçõoes

a) ?-departs(Flight, 1900), arrives(Flight, 2200).

b) ?-departs(Minerva, 1900), arrives(Titian, 2200).

c) ?-destination(pa100, R), origin(pa100, R).

d) ?-origin(Fred, Alf), destination(Fred, pisa).

e) ?-destination(Iona, Mull), origin(Staffa, Mull), departs(Staffa, 1330).

2. Suponha a seguinte base em Prolog

cargo(tecnico,rubens).         cargo(secretaria_executiva,bete).

cargo(tecnico,yvone).         cargo(diretor,paulo).

cargo(engenheiro, chandler).         chefiado(tecnico,engenheiro).

cargo(engenheiro,ronaldo).         chefiado(engenheiro,supervisor).

cargo(engenheiro,huei).         chefiado(analista,supervisor).

cargo(engenheiro,edson).         chefiado(supervisor,supervisor_chefe).

cargo(engenheiro,ana).         chefiado(supervisor_chefe,diretor).

cargo(supervisor,luis).         chefiado(secretaria_executiva,diretor).

cargo(supervisor_chefe, carla).

Na qual os predicados cargo/2 e chefiado/2 são auto-explicativos. Escreva em linguagem natural as seguintes interrogações Prolog:

?- chefiado(tecnico,X), chefiado(X,Y).

?- chefiado(X,Y), cargo(X,yvone), cargo(Y,Z).

?- cargo(J,P), chefiado(J,supervisor_chefe).

Qual é a primeira resposta encontrada por Prolog para cada uma dessas interrogações.

3. Crie uma regra prolog que seja capaz de somar todos os elementos de uma lista numérica e apresentar o resultado.

4. Crie uma regra prolog que seja capaz de inverter uma dada lista.