如果我没记错的话:功能术语是一种看起来像pred_name(...)的术语类型。解析器处理术语,其中还包括常量和变量。谓词不是事物的名称,而是事物本身;它可以是真或假。功能术语用于定义和调用谓词。因此,严格来说,术语不能成功或失败,你也无法解析谓词。这就像数字和数之间的区别一样。