Prolog預測考試題

Question

我正在學習人工智能考試，並努力瞭解如何回答關於謂詞的某些問題。尤其是這兩個問題是：

1. 定義其行爲如下謂語 -

   ?- stage_name(billie, Name). 
   
   Name = rose 
   
   yes 
   
   ?- stage_name(jenna,Name). 
   
   Name = clara 
   
   yes 
   

2. 寫斷言，它有兩個參數，如果兩個演員都是在同一個節目是真實的。因此

   ?-same_show(david,clara). 
   

   是真實的，而

   ?-same_continent(elisabeth,skippy). 
   

   不

我真的不明白，我怎麼會回答這些問題，而且我發現很少的Prolog信息線上。我希望得到一些幫助。格式化的道歉。

Answer 1

1：

stage_name(billie,rose). 
stage_name(jenna,Name) :- Name=clara. 

說明：

給定查詢，Prolog的查找適當的謂詞根據輸入參數的名稱和 「執行」 它。如果未給出輸出參數，則結果爲true/false。在這種情況下，有一個（Name）可以從領先大寫字母中看到。請注意，有兩種可能的方法來實現這一點。前者可能是最常見的（這種形式的謂詞被稱爲「事實」，而下面的謂詞被稱爲「規則」）。

2：

正如我在評論中提到的，我真的不明白兩個給定的謂詞之間的連接。此外，它的感覺就像有東西丟失，如事實確定哪些人是在其上顯示...

假設這些事實都不見了，我會寫出如下Prolog程序：

onShow(david, s1). 
onShow(clara, s1). 
onShow(bernie, s2). 

same_show(P1, P2) :- onShow(P1,X), onShow(P2,X). 

說明：

僅當P1和P2訪問相同節目X時，謂詞才成立。

提示：

• A 「逗號」 代表邏輯AND運算符。具有相同名稱和參數計數的不同規則表示邏輯或。編輯：正如鮑里斯在評論中提到的，這不完全正確。這種聯繫只是幫助我理解「邏輯謂詞」和「序言謂詞」之間的關係。
• 訪問SWISH來測試您的Prolog程序。