8/15/2019 SegueProlog

1/3

8/15/2019 SegueProlog

2/3

Segue código

%P (Nome, Posicao, Programa, Horario)

gera (p (N, B, E, H)):-

  member (N, [breno, duda, luis, cezar),

  member (B, [ala!es"uerda, a#acan#e, cen#ro, pi$o, deesa),

  member (E, [re#rospec#i$a, bas"ue#e!e!$c, plan#ao!espor#i$o,

puro!espor#e),

  member (H, [&&:'', &:'', &':', &':'', &:'')*

+i (p (N, B, E, H), p (N&, B&, E&, H&)):-

N N&, BB&, E E&, H H&*

#odas!di (P, P&, P, P.):-

di(P, P&), di(P&, P), di(P, P.),

di(P&, P), di(P&, P.), di(P, P.)*

Solucao (S):-

S [P, P&, P, P.,

gera (P), gera (P&), gera (P), gera (P.),

#odas!di(P, P&, P, P.),

member (p(!, deesa, !, &:''), S), cezar re#rospec#i$a,

member (p(luis, !, !, &':''), S), luis a#acan#e,

member (p(breno, !, !, ala!es"uerda), S),

member (p(a#acan#e, !, !, bas"ue#e!e!$c), S),

member (p(pi$o, !, !, espor#e!na!rede), S), duda

plan#ao!espor#i$o,

member (p(plan#ao!espor#i$o, !, !, &&:'), S)*

gera!e(P, P&, P, P.) :-

8/15/2019 SegueProlog

3/3

  P p(breno, !, !, !),

  P& p(duda, !, !, !),

  P p(luis, !, !, !),

  P. p(cezar, !, !, !),

  gera(P), gera(P&), gera(P), gera(P.),

  #odas!di(P, P&, P, P.)*

solucao&(S) :-

S [P, P&, P, P.,

gera(P), gera(P&), gera(P), gera(P.),

member(p(!, deesa, !, &:''), S), cezar re#rospec#i$a,

member(p(luis, !, !, &':''), S), luis a#acan#e,

member(p(breno, !, !, ala!es"uerda), S),

member(p(a#acan#e, !, !, bas"ue#e!e!$c), S),

member(p(pi$o, !, !, espor#e!na!rede), S), dudaplan#ao!espor#i$o,

member(p(plan#ao!espor#i$o, !, !, &&:'), S),/*