补充资料：谓词

分子式：
CAS号：

性质：在数理逻辑中，把命题的内部结构分析为具有主语和谓语的逻辑形式，与中英文表达中的主语和谓语相仿。PROLOG语言每一个子句用谓词开头，谓词相当于日常语言中的谓语。其逻辑结构在很大程度上植根于谓词逻辑(或称谓词演算)。谓词有内部谓词和用户定义谓词两类。

说明：补充资料仅用于学习参考，请勿用于其它任何用途。