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

Clc Number:

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    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.

    Reference
    Related
    Cited by
Get Citation

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.

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:July 01,1987
  • Revised:
  • Adopted:
  • Online: August 18,2017
  • Published:
Article QR Code