谓词用于描述QL程序中的逻辑关系。定义谓词时需指定关键字或结果类型、名称、参数及逻辑公式。谓词分为无结果谓词和有结果谓词，后者可返回多个值。递归谓词允许通过自身调用来获取结果。不同类型的谓词包括非成员谓词、特征谓词和成员谓词。