Prolog简单的补充

Question

我正在教自己Prolog（在Linux上使用SWI），我正在尝试学习基本的算术。看看下面的示例程序。

当我试图询问以下任何问题时，Prolog告诉我程序total1 / 2未定义。

问题陈述：

total1('prawn crackers', COST).
total2('prawn crackers', 'fried rice',COST).
total3('spring roll', 'chow mien','boiled rice',COST).

Prolog计划：

dish('prawn crackers', 1).
dish('boiled rice',1).
dish('fried rice', 2).
dish('chow mein',3).
dish('chop suey',4).
dish('spring roll',2).


total1(X,T) :- dish(X,A) T is A.
total2(X,Y,T) :-  dish(X,A), dish(Y,B) T is A + B.
total3(X,Y,Z,T) :- dish(X,A), dish(Y,B), dish(Z,C) T is A + B + c.