一阶谓词逻辑式有很强的表达能力，但经常难以直接在计算中应用