序言PROGRAMM返回的是yes，而不是價值

Question

我得到了以下事件：項目（C，X，G，P），（其中C是針對該產品的數量，X它的名字，G它的價格，P它的成本）。
當我使用命令item(n3001,_,_,P)直接序言控制檯我得到的答案
G = 1.25 X = 100但是當我寫的公式p3(C)-: item(C,_,_,P).後來我諮詢文本，我得到的答案yes上。
我的問題澄清是怎麼一次我得到我想要的P的價值，而另一次我得到它是真的還是假的？

Answer 1

Prolog中沒有返回值，p3/1不構成函數而是關係。你定義

p3(C) :- 
    item(C,_,_,P). 

寫着：如果item(C,_,_,P)成功，則p3(C)成功爲好。爲了討論的方便，我們假設你的代碼包括以下事實：

item(n3001,100,1.25,1). 

如果查詢

?- p3(n3001). 

的Prolog與n3001您的規則的頭部結合C，然後嘗試你的目標item(C,_,_,P)哪個成功。因此，規則成功，Prolog的告訴你：

?- p3(n3001). 
yes 

如果你想知道對應n3001你必須定義何處P出現在規則的頭部和規則，如價格：

p3(C,P) :- 
    item(C,_,_,P). 

如果您查詢，您將能看到相應n3001的P值：

?- p3(n3001,P). 
P = 1 

如果查詢項/ 4直接P出現在參數，因此你能看到它的替換，滿足您的查詢：

?- item(n3001,_,_,P). 
P = 1