一个谓词名，后跟以括在圆括号中的一个变元表，称为原子公式。
A predicate name, followed by an argument list in parentheses, is called an atomic formula.
如果一个方法没有恰当的类型，因为可变的变元表以及如上的“加工”阻止了类型检查，ANSI - C编译器将不会报错。
If a method does not have the proper type, the ANSI-C compiler will not detect the error because the variable argument list and our casting prevent type checks.
应用推荐