基于一阶谓词逻辑的PROLOG语言不允许量词作用于谓词,这限制了它的表达和处理范围。本文提出了两种PROLOG(间接)处理高阶谓词的方法,即“公用谓词”方法和“附加子目标”方法。
沈一栋. PROLOG处理高阶谓词的方法[J].重庆大学学报,1987,10(4).
