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.