Prolog conditionnelle Non évaluation

Question

Je suis en train de faire simplement une condition dans Prolog comme ceci:

((vie == morts) -> Trans = non).

Je pensais que le code ci-dessus évaluerait comme si Life == mort, puis Trans = non, mais pour une raison quelconque ce n'est pas? Merci.

Answer 1

Works pour moi:

?- ((Life==dead)->Trans=no). 
false. 

?- Life = dead, ((Life == dead) -> Trans=no). 
Life = dead, 
Trans = no. 

vie == mort ne sera vrai que si la vie est déjà lié à mort.

De plus, il s'agit d'une construction plutôt étrange qui est rarement nécessaire en pratique, (x -> y; z) est beaucoup plus commun.