Dúvida Prolog...Help!!

malloc2

Power Member
Boas

Como posso demonstrar estas interrogações em prolog. Tou com algumas dificuldades em pegar nisto.

Existem três tipo de emissão: alfa, beta e gama.
Se existe uma emissão alfa e beta, então foi detectado um protão.
Se existe uma emissão gama, então foi detectado um protão.

Cumps
 
já estou muito esquecido de prolog, mas não andará à volta disto?

Emissão(Alfa).
Emissão(Beta).
Emissão(Gama).

Protão:-Emissão(Alfa),Emissão(Beta).

Protão:-Emissão(Gama).
 
Desde já obrigado pela ajuda.
Sim, parece-me ser basicamente isso...
Mas como é que eu faço as interrogações?
Como é que eu pergunto se as emissões podem ou não ser protões?
 
Não andará à volta disto? Isto parece-me ser um prolog muito básico, mas como disse já estou esquecido disto e nunca fui grande expert.

?- Protão(X)

X=Emissão(Alfa);
X=Emissão(Beta);
X=Emissão(Gama).

?-Protão(delta)
No.

?-Protão(Emissão(Gama))
Yes.
 
estava na ideia de que os predicados tinham que ser em letra minúscula... mas também já à uns anos que não pego em Prolog, por isso posso estar enganado...
 
Os predicados não têm regra especifica sobre a capitalização de letras, no entanto as variáveis é que têm de começar com uma letra maiúscula.

abraços, HecKel
 
Back
Topo