Minerais

Disponível somente no TrabalhosFeitos
  • Páginas : 4 (820 palavras )
  • Download(s) : 0
  • Publicado : 22 de abril de 2013
Ler documento completo
Amostra do texto
Prolog Objetos Estruturados
Objetos Estruturados Listas Recursão Exercícios

Inteligência Artificial

Exercícios
Relembrando a introdução:
Exercícios pgs 22 e 23 – Livro PalazzointroducaoProgramacaoProlog_Palazzo.pdf 1.

Escreva um programa Prolog para representar:

João nasceu em Pelotas e Jean nasceu em Paris. Pelotas fica no Rio Grande do Sul. Paris fica na França. Só é gaúchoquem nasceu no Rio Grande do Sul.
2

Exercícios
1.

Resposta:

nasceu(joão,pelotas). nasceu(jean,paris). local(paris,franca). local(pelotas,rio_grande_do_sul). gaucho(X):nasceu(X,Cidade),local(Cidade, rio_grande_do_sul).
3

Exercícios
2.

Escreva um programa Prolog para representar:

Os corpos celeste dignos de nota são as estrelas, os planetas e os cometas. Vênus é um corpoceleste, mas não é uma estrela. Os cometas possuem cauda quando estão perto do sol. Vênus está perto do sol, mas não possui cauda.
4

Exercícios
2.

Resposta:

corpo_celeste(estrela).corpo_celeste(planeta). corpo_celeste(cometa). corpo_celeste(asteroide). digno_de_nota(Corpo_Celeste):corpo_celeste(Corpo_Celeste), (Corpo_Celeste == estrela ; Corpo_Celeste == planeta; Corpo_Celeste ==cometa).

%Programa que deve ser criado: tipo/2 – %tipo(Instancia_Corpo_Celeste, X). % + : uma instância de um corpo % celeste % - : o tipo do corpo celeste tipo(venus,X):corpo_celeste(X), X \=estrela, esta_perto_sol(venus), not(possui_cauda(venus,X)),!. possui_cauda(X,Y):esta_perto_sol(X), Y == cometa. esta_perto_sol(venus).

5

Exercícios
3.

Assuma que arcos em um grafo dirigidorepresentam custos e sejam descritos como arco(R,S,T), significando que há um arco de custo T entre R e S. Defina custo(U,V,L) – existe um caminho de custo L entre U e V B E 2
3 2 A 4 C
6

5 4

D 5F

2

Exercícios
3.

Resposta:

arco(a,b,3). arco(b,d,2). arco(a,d,5). arco(a,c,4). arco(c,d,4). arco(c,f,5). arco(d,e,2). arco(e,f,2). mais(X,Y,Z):Z is X + Y. custo(X,Y,T):arco(X,Y,T),!....
tracking img