Prolog条件不评估

Question

我正试图在这样的prolog中做一个条件：

（（生命==死） - ＆GT;反式=否）。

我认为上面的代码会评估好像Life == dead，然后Trans = no，但由于某些原因它不是？感谢。

Answer 1

适合我：

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

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

只有生命已经死了，生命==死亡才会成真。

此外，这是一个相当奇怪的结构，在实践中很少需要，（x - >; y; z）更常见。