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

本文讨论多轮继承无法确定结果类型的问题，并提出三种解决方法：限制一轮继承、限制在业务功能上的继承、默认使用组合。同时提到可以使用数据库+DTO解决功能问题。