| Prolog动态代码的两种语义及其实现方法 |
| |
| 引用本文： | 张晨曦.Prolog动态代码的两种语义及其实现方法[J].国防科技大学学报,1988,10(2):67-72. |
| |
| 作者姓名： | 张晨曦 |
| |
| 作者单位： | 国防科技大学计算机科学系 |
| |
| 摘 要： | Prolog数据库操作内部谓词是Prolog非逻辑成份的一个重要组成部分。为了实现Prolog程序的可移植性,这些内部谓词应有一致的操作语义。本文首先讨论了两种比较合理的语义,然后论述了这两种语义在WAM框架下的实现方法。
|
| 关 键 词： | Prolog 数据库操作 动态代码 语义 WAM |
| 收稿时间： | 1987/7/1 0:00:00 |
Schemes for Implementing Two Choices of Semantics of Dynamic Prolog Code |
| |
| 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. |
| |
| Authors: | Zhang Chenxi |
| |
| Institution: | Zhang Chenxi |
| |
| Abstract: | Database operation built-in predicates constitute an important part of thenon-logical components of Prolog. Consistent operation semantics are to bedefined for these built-ins in order to realize easy transportations of prologprograms among different systems. In this paper, two choices of reasonablesemantics are first discussed. Then are described schemes to implement thesemantics under the framework of the WAM. |
| |
| Keywords: | Prolog Database operation Dynamic code Semantics WAM |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《国防科技大学学报》浏览原始摘要信息 |
| 点击此处可从《国防科技大学学报》下载免费的PDF全文 |
