%0 Journal Article
%T PROLOG处理高阶谓词的方法
%A 沈一栋
%J 重庆大学学报
%D 1987
%X 基于一阶谓词逻辑的PROLOG语言不允许量词作用于谓词,这限制了它的表达和处理范围。本文提出了两种PROLOG(间接)处理高阶谓词的方法,即“公用谓词”方法和“附加子目标”方法。
%U http://qks.cqu.edu.cn/cqdxzrcn/ch/reader/view_abstract.aspx?file_no=19870465&flag=1