Prolog动态代码的两种语义及其实现方法
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:


Schemes for Implementing Two Choices of Semantics of Dynamic Prolog Code
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    Prolog 数据库操作内部谓词是Prolog非逻辑成份的-个重要组成部分。为了实现Prolog程序的可移植性,这些内部谓词应有一致的操作语义。本文首先讨论了两种比较合理的语义,然后论述了这两种语义在 WAM 框架下的实现方法。

    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.

    参考文献
    相似文献
    引证文献
引用本文

张晨曦. 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.

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:1987-07-01
  • 最后修改日期:
  • 录用日期:
  • 在线发布日期: 2017-08-18
  • 出版日期:
文章二维码