Ir ao conteúdo
  • Comunicados

    • Gabriel Torres

      Seja um moderador do Clube do Hardware!   12-02-2016

      Prezados membros do Clube do Hardware, Está aberto o processo de seleção de novos moderadores para diversos setores ou áreas do Clube do Hardware. Os requisitos são:   Pelo menos 500 posts e um ano de cadastro; Boa frequência de participação; Ser respeitoso, cordial e educado com os demais membros; Ter bom nível de português; Ter razoável conhecimento da área em que pretende atuar; Saber trabalhar em equipe (com os moderadores, coordenadores e administradores).   Os interessados deverão enviar uma mensagem privada para o usuário @Equipe Clube do Hardware com o título "Candidato a moderador". A mensagem deverá conter respostas às perguntas abaixo:   Qual o seu nome completo? Qual sua data de nascimento? Qual sua formação/profissão? Já atuou como moderador em algo outro fórum, se sim, qual? De forma sucinta, explique o porquê de querer ser moderador do fórum e conte-nos um pouco sobre você.   OBS: Não se trata de função remunerada. Todos que fazem parte do staff são voluntários.
    • DiF

      Poste seus códigos corretamente!   21-05-2016

      Prezados membros do Fórum do Clube do Hardware, O Fórum oferece um recurso chamado CODE, onde o ícone no painel do editor é  <>     O uso deste recurso é  imprescindível para uma melhor leitura, manter a organização, diferenciar de texto comum e principalmente evitar que os compiladores e IDEs acusem erro ao colar um código copiado daqui. Portanto convido-lhes para ler as instruções de como usar este recurso CODE neste tópico:  
Entre para seguir isso  
SergioAAv

Programa em PROLOG!!!

Recommended Posts

Pessoal,

Estou fazendo a matéria de Inteligência Artificial na faculdade e estou tendo alguns problemas com PROLOG. Eu tenho que pegar um código em PROLOG e entender o que ele está fazendo para explicar. O problema é que nós nunca tivemos PROLOG antes, então ninguém na turma sabe nada de PROLOG...

O código que eu preciso explicar é esse:

% -------------------------------------------------------------
% PREDICADOS UTILITARIOS (PROBLEMA DO CAMINHO ENTRE 2 CIDADES)
% -------------------------------------------------------------
pertence_a(X, [X|_]) :- !.
pertence_a(X, [_|C]) :- pertence_a(X, C).


trajetoria_impressa(t(F,G,T)) :- trajetoria_impressa_1(T).
trajetoria_impressa_1([ r(raiz,Raiz) ]) :-
write('Estado Inicial: '),
write(Raiz),
write('. \n'),
!.
trajetoria_impressa_1([ r(Operacao,Nodo) | Resto ]) :-
trajetoria_impressa_1(Resto),
write(Operacao),
write(' a cidade: '),
write(Nodo),
write('. \n').

ligada_a(a,.
ligada_a(b,m).
ligada_a(m,f).
ligada_a(f,q).
ligada_a(q,p).
ligada_a(p,n).
ligada_a(p,s).
ligada_a(b,c).
ligada_a(c,d).
ligada_a(d,q).
ligada_a(d,n).
ligada_a(d,g).
ligada_a(n,h).
ligada_a(n,s).
ligada_a(h,g).
ligada_a(g,d).

coord(a, 2, 4) :- !.
coord(b, 5, 6) :- !.
coord(c, 4, 2) :- !.
coord(d, 7, 4) :- !.
coord(f, 7, 8) :- !.
coord(g, 8, 2) :- !.
coord(h, 10, 1) :- !.
coord(m, 9, 6) :- !.
coord(n, 11, 3) :- !.
coord(p, 12, 6) :- !.
coord(q, 11, 7) :- !.
coord(s, 13, 2).

inserida(T, [], [T]).
inserida(t(F1,G1,Ramos1), [ t(F2,G2,Ramos2) | Resto ],[ t(F1,G1,Ramos1), t(F2,G2,Ramos2) | Resto ]) :- F1 < F2, !.
inserida(t(F1,G1,Ramos1), [ t(F2,G2,Ramos2) | Resto ],[ t(F2,G2,Ramos2) | Resto2 ]) :- inserida(t(F1,G1,Ramos1), Resto, Resto2).

inseridas_as_trajetorias([], Fila, Fila).
inseridas_as_trajetorias([T|C], Fila, Fila3) :-
inserida(T,Fila, Fila2),
inseridas_as_trajetorias(C, Fila2, Fila3).

trajetoria_expandida(t(F, G, [r(Ramo, Nodo) | Resto]),t(F1, G1, [r(vai_para, Filho), r(Ramo,Nodo) | Resto])) :-
ligada_a(Nodo, Filho),
not(produz_ciclo(Filho, [r(Ramo,Nodo) | Resto])),
funcao_h(Filho, H1),
custo(Nodo, Filho, Custo),
G1 is G + Custo,
F1 is G1 + H1.

produz_ciclo(Estado, Trajetoria) :- pertence_a(r(_,Estado), Trajetoria).

custo(Nodo, Filho, Custo) :-
coord(Nodo, XN, YN),
coord(Filho, XF, YF),
X is (XN-XF)*(XN-XF) + (YN-YF)*(YN-YF),
sqrt(X,Custo),
!.

funcao_h(Ea, H) :-
e_estado_final(Ef),
coord(Ef, XEf, YEf),
coord(Ea, XEa, YEa),
X is (XEa-XEf)*(XEa-XEf) + (YEa-YEf)*(YEa-YEf),
sqrt(X,H),
!.

adjacentes(X, Y, Z) :- findall(X, Y, Z), !.
adjacentes(_ , _ , [] ).
e_estado_final(s).
possui_estado_final(t(_,_,[r(_,Nodo)|_])) :- e_estado_final(Nodo).

% -------------------------------------------------------------
% BUSCA HEURISTICA PELO A*
% -------------------------------------------------------------
solucao_computada_por_A_estrela([ Solucao | _ ], Solucao) :- possui_estado_final(Solucao), !.

solucao_computada_por_A_estrela([ Trajetoria | Fila ], Solucao) :-
adjacentes(T2, trajetoria_expandida(Trajetoria, T2), Lista_de_Trajetorias_Expandidas),
inseridas_as_trajetorias(Lista_de_Trajetorias_Expandidas, Fila, Fila_Expandida),
solucao_computada_por_A_estrela(Fila_Expandida, Solucao).

% *** Exemplo de Estado Inicial: b
solucao_da_busca_por_A_estrela_a_partir_do(Estado_Inicial) :-
funcao_h(Estado_Inicial, H),
solucao_computada_por_A_estrela([ t(H,0,[r(raiz,Estado_Inicial)]) ], Trajetoria),
trajetoria_impressa(Trajetoria).

Alguém aí pode me ajudar a entender o que cada parte do programa está fazendo ou me indicar um material pra isso?? Já pequei alguns livros mas nenhum conseguiu me ajudar muito...

Obrigado desde já!!!

Compartilhar este post


Link para o post
Compartilhar em outros sites

Isso aí na verdade são apenas fatos, algumas regras do que pode ou nao fazer. Mas como o exemplo que foi passado tem muito detalhe, te aconselho que leia essa apostila.

Compartilhar este post


Link para o post
Compartilhar em outros sites

Crie uma conta ou entre para comentar

Você precisar ser um membro para fazer um comentário

Entre para seguir isso  





Sobre o Clube do Hardware

No ar desde 1996, o Clube do Hardware é uma das maiores, mais antigas e mais respeitadas publicações sobre tecnologia do Brasil. Leia mais

Direitos autorais

Não permitimos a cópia ou reprodução do conteúdo do nosso site, fórum, newsletters e redes sociais, mesmo citando-se a fonte. Leia mais

×