TrabalhosGratuitos.com - Trabalhos, Monografias, Artigos, Exames, Resumos de livros, Dissertações
Pesquisar

Trabalho de Prolog

Por:   •  7/10/2015  •  Trabalho acadêmico  •  300 Palavras (2 Páginas)  •  858 Visualizações

Página 1 de 2

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:

  1. SWI-PROLOG

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

  1. SWI-PROLOG Editor em Inglês

http://lernen.bildung.hessen.de/informatik/swiprolog/setup.zip

  1. 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.

...

Baixar como (para membros premium)  txt (2.5 Kb)   pdf (116.5 Kb)   docx (302.2 Kb)  
Continuar por mais 1 página »
Disponível apenas no TrabalhosGratuitos.com