Prolog做查詢

Question

這是直接從在線教程，我得到一個自頂向下的設計錯誤，幫助？

employee(193,'Jones','John','173 Elm St.','Hoboken','NJ', 
              12345,1,'25 Jun 93',25500). 
employee(181,'Doe','Betty','11 Spring St.','Paterson','NJ', 
              12354,3,'12 May 91',28500). 
employee(198,'Smith','Al','2 Ace Ave.','Paterson','NJ', 
              12354,3,'12 Sep 93',27000). 

鑑於這些基本關係（也稱爲外延的關係），我們就可以使用Prolog的過程定義來給我們解答了我們可能有關於數據問題，定義其他關係。例如，我們可以定義包含收入超過$ 28,000名全體員工的名字一個新的關係：

well_paid_emp(First,Last) :- 
    employee(_Num,Last,First,_Addr,_City,_St,_Zip,_Dept,_Date,Sal), 
    Sal > 28000. 

Answer 1

這可能是因爲你用的是Prolog的系統，它顯示了well_paid_emp/2單身警告。

並非所有的Prolog系統允許在規則中僅出現一次_ <資本> <休息>作爲單身人士，即變量。