一个谓词名，后跟以括在圆括号中的一个变元表，称为原子公式。

A predicate name, followed by an argument list in parentheses, is called an atomic formula.

youdao

如果一个方法没有恰当的类型，因为可变的变元表以及如上的“加工”阻止了类型检查，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.

youdao

如果一个方法没有恰当的类型，因为可变的变元表以及如上的“加工”阻止了类型检查，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.

youdao