| PROLOG的说明性语义和过程性语义之间的循环论证 |
| |
| 引用本文： | 周训伟. PROLOG的说明性语义和过程性语义之间的循环论证[J]. 北京工业大学学报, 1990, 16(4): 87-90. |
| |
| 作者姓名： | 周训伟 |
| |
| 作者单位： | 北京工业大学计算机科学系 |
| |
| 摘 要： | 对关于PROLOG的说明性语义和过程性语义之间的关系的观点提出商榷。认为这两种语义之间存在循环论证,它反映了数理逻辑的模型论和证明论之间的循环论证。
|
| 关 键 词： | 大范围循环论证 逻辑推论 最小Herbrand模型 |
| 收稿时间： | 1990-04-14 |
Circular Argument Between the Declarative Semantics and the Procedural Semantics of PROLOG |
| |
| Zhou Xunwei. Circular Argument Between the Declarative Semantics and the Procedural Semantics of PROLOG[J]. Journal of Beijing University of Technology, 1990, 16(4): 87-90. |
| |
| Authors: | Zhou Xunwei |
| |
| Affiliation: | Department of Computer Science |
| |
| Abstract: | The author expresses his different viewpoint with reference(Ⅱ) on the relationship between the declarative semantics and the procedural semantics of PROLOG. The paper reveals that there exists a circular argument between the two semantics which also exists between model theory and proof theory of mathematical logic. |
| |
| Keywords: | circular argument in the large logical consequence least Herbrand model |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《北京工业大学学报》浏览原始摘要信息 |
|
点击此处可从《北京工业大学学报》下载全文 |
