gprologがmodus ponensの使用を連鎖させないのはなぜですか？

Question

私は読んでいますLearn Prolog Now,1.1.2ナレッジベース2ここで彼らはmodus ponensの連鎖使用について書いています。

KB2.plファイル：

listensToMusic(mia). 
happy(yolanda). 
playsAirGuitar(mia) :- listensToMusic(mia). 
playsAirGuitar(yolanda) :- listensToMusic(yolanda). 
listensToMusic(yolanda) :- happy(yolanda). 

クエリする場合：

playsAirGuitar(yolanda). 

がgprologに提出され、それから、それを推測することができるはずですので、yesを対応することになっていますヨランダが幸せであるという事実。

しかし、gprologはnoで応答します。何故ですか？

Answer 1

私は問題は、述語listensToMusic/1の句が分離されていると考えています。

次のコードは私のためにそう返す：//www.learnprolognow：

listensToMusic(mia). 
listensToMusic(yolanda) :- happy(yolanda). 
happy(yolanda). 
playsAirGuitar(mia) :- listensToMusic(mia). 
playsAirGuitar(yolanda) :- listensToMusic(yolanda). 

あなたは[ "今プロローグ学ぶ"]（HTTPを指すため

warning: discontiguous predicate listensToMusic/1 - clause ignored