序言條件不評估

Question

我試圖簡單地在這樣的序言中做一個條件：

（（Life == dead） - > Trans = no）。

我認爲上面的代碼會評估，如果生命==死了，然後Trans =否，但由於某種原因它不是？謝謝。

Answer 1

工作對我來說：

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

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

生活==如果生活已經綁定到死死只會是真實的。另外，這是一個相當奇怪的結構，它在實踐中很少需要，（x - > y; z）更常見。