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系统允许在规则中仅出现一次_ <资本> <休息>作为单身人士，即变量。