| 引用本文: | 张晨曦.Prolog动态代码的两种语义及其实现方法.[J].国防科技大学学报,1988,10(2):67-72.[点击复制] |
| Zhang Chenxi.Schemes for Implementing Two Choices of Semantics of Dynamic Prolog Code[J].Journal of National University of Defense Technology,1988,10(2):67-72[点击复制] |
|
| |
|
|
| 本文已被：浏览 5355次 下载 5393次 |
| Prolog动态代码的两种语义及其实现方法 |
| 张晨曦 |
|
(计算机科学系)
|
| 摘要: |
| Prolog 数据库操作内部谓词是Prolog非逻辑成份的-个重要组成部分。为了实现Prolog程序的可移植性，这些内部谓词应有一致的操作语义。本文首先讨论了两种比较合理的语义，然后论述了这两种语义在 WAM 框架下的实现方法。 |
| 关键词: Prolog，数据库操作，动态代码，语义，WAM |
| DOI： |
| 投稿日期：1987-07-01 |
| 基金项目: |
|
| Schemes for Implementing Two Choices of Semantics of Dynamic Prolog Code |
| Zhang Chenxi |
|
(Department of Computer science)
|
| Abstract: |
| Database operation built-in predicates constitute an important part of the non-logical components of Prolog. Consistent operation semantics are to be defined for these built-ins in order to realize easy transportations of prolog programs among different systems. In this paper，two choices of reasonable semantics are first discussed. Then are descrìbed schemes to implement the semantics under the framework of the WAM. |
| Keywords: Prolog,Database operation,Dynamic code,Semantics,WAM |
|
|
