描述了内置谓词的用法,里面含有大量的形式化推理,不是很明白,求共同探讨。