프롤로그 조건부 단순히 같은 프롤로그에서 조건부을 할 노력하고있어

Question

을 평가하지 않음 :

((생명 == 죽은) -> 트랜스 = 없음).하지

위의 코드는 Life == dead, Trans = no로 평가할 수 있다고 생각했지만 어떤 이유로 그럴 수 있습니까? 감사. 나를 위해

Answer 1

작품 : 생명이 이미 죽은 바인딩 된 경우

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

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

생활 == 죽은는 사실 일 것이다.

또한 이것은 실제로는 거의 필요하지 않은 이상한 구성이며 (x -> y; z) 훨씬 더 일반적입니다.