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.