|
|||||
|
|
| PROLOG处理高阶谓词的方法 | |
| 引用本文： | 沈一栋.PROLOG处理高阶谓词的方法[J].重庆大学学报(自然科学版),1987,10(4). |
| 作者姓名： | 沈一栋 |
| 作者单位： | 重庆大学计算机系 |
| 摘 要： | 基于一阶谓词逻辑的PROLOG语言不允许量词作用于谓词,这限制了它的表达和处理范围。本文提出了两种PROLOG(间接)处理高阶谓词的方法,即“公用谓词”方法和“附加子目标”方法。 |
| 本文献已被 CNKI 等数据库收录！ | |
| 点击此处可从《重庆大学学报(自然科学版)》浏览原始摘要信息 | |
| 点击此处可从《重庆大学学报(自然科学版)》下载免费的PDF全文 | |